I came across a reference to ((->) r)
in a Monad instance. Is that type also valid to query in GHCi? It just reports a parse error when I try.
:t
gives the type of a term. Try with :k
to get the kind of a type:
> :k ((->) Int)
((->) Int) :: * -> *
3 Likes
Aha – many thanks for that.