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