ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/TypeSkolEscape.hs
{-# LANGUAGE RankNTypes, PolyKinds, TypeInType #-}
module TypeSkolEscape where
import GHC.Types
import GHC.Exts
type Bad = forall (v :: Levity) (a :: TYPE v). a
{-# LANGUAGE RankNTypes, PolyKinds, TypeInType #-}
module TypeSkolEscape where
import GHC.Types
import GHC.Exts
type Bad = forall (v :: Levity) (a :: TYPE v). a