:set -XRankNTypes
:k (Maybe Int)
:k (Maybe (forall a. a -> a))