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 :: RuntimeRep) (a :: TYPEvis v). a