ghc-exactprint-1.9.0.0: tests/examples/pre-ghc910/T9632.hs
{-# LANGUAGE TypeInType #-}
module T9632 where
import Data.Kind
data B = T | F
data P :: B -> Type
type B' = B
data P' :: B' -> Type
{-# LANGUAGE TypeInType #-}
module T9632 where
import Data.Kind
data B = T | F
data P :: B -> Type
type B' = B
data P' :: B' -> Type