ghc-exactprint-0.5.1.0: tests/examples/ghc8/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