Trying `:t ((->) Int)` in GHCi

Learn
#1

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.

#2

:t gives the type of a term. Try with :k to get the kind of a type:

> :k ((->) Int)
((->) Int) :: * -> *
3 Likes
#3

Aha – many thanks for that.