Hi, Michael Rice wrote:
I think of (r -> m a) as a type signature and Int or Bool by themselves as types. So, all type signatures are themselves types?
Yes.In Haskell, functions are first class, so function types like (r -> m a) are themselves types.
Tillmann _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe