ghc-exactprint-0.5.7.0: tests/examples/ghc86/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