type T a b = a -> b
:k T
:k T Int
:k T Int Bool