Suppose I have a function: funcmap :: a->b->c
can I use type synonyms to describe a new type like this: Type Funcmap = a->b>c ? it will give a syntax error message: syntax error in input (unexpected '->'), does anyone know how to define this Funcmap type? rui ---------------------------------------- This mail sent through www.mywaterloo.ca _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell