| 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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe