:kind Int
:kind Maybe
:l GhciKinds
:kind F [[[Int]]]
:kind! F [[[Int]]]