[Haskell-cafe] Reader monad

Tillmann Rendel rendel at Mathematik.Uni-Marburg.de
Wed Dec 29 19:23:38 CET 2010


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



More information about the Haskell-Cafe mailing list