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