1 2 3 4 5 6 7 8
{-# LANGUAGE RankNTypes, PolyKinds, TypeInType #-} module TypeSkolEscape where import GHC.Types import GHC.Exts type Bad = forall (v :: Levity) (a :: TYPE v). a