| type a $ b = a b | | (Probably needs -fglasgow-exts.) Sadly we don't have a fixity system | for type operators :( Actually GHC lets you give fixity declarations for type operators too. NB that infix type constructors must start with ":", just like infix data constructors. Simon