Scala中如何实现无括号的前缀类型操作符？

Scala支持自定义中缀类型操作符，比如像这样定义：

type ->[P,Q] = P => Q

之后就能用X -> Y替代->[X,Y]，写法和表达式风格一致。但自定义一元前缀类型操作符时，情况就不一样了：

你尝试的type unary_~[P] = ...写法行不通——这个unary_*的命名规则只适用于值层面的前缀方法，不能用来定义类型别名，所以写~X会直接报错。

虽然用type ~[P] = ...能让~[X]正常工作，但带括号的写法确实不够简洁。遗憾的是，Scala的类型语法本身就不支持用户自定义前缀风格的类型操作符，目前没有办法实现不带括号的~X这种类型写法，只能接受~[X]的形式，或者换用其他命名方式。

内容的提问来源于stack exchange，提问作者TrayMan