Re: [Haskell-cafe] Reader monad

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