■

GHCには、type constructorの中置記法とかあるらしい
http://haskell.org/ghc/docs/6.6/html/users_guide/type-extensions.html
別に、これそのものは、まあどうでもいいんだけど、:+:とか記号をよく考えるよなーとかいうのが。Arrow Notationの-<とか-<<とかも。あと、GHCではないけど、線形論理の含意を-<>としてるのをどっかで見た。みんな想像力あるよな