1 2 3 4
:set -XPolyKinds -XDataKinds -XRankNTypes -XTypeFamilies -fprint-explicit-foralls import Data.Kind (Type) type family T :: forall a -> () :k T