bea468fff3795ce8e378828deaedeca3edcd5091
[ghc.git] / testsuite / tests / dependent / should_compile / T9632.hs
1 {-# LANGUAGE TypeInType #-}
2
3 module T9632 where
4
5 import Data.Kind
6
7 data B = T | F
8 data P :: B -> *
9
10 type B' = B
11 data P' :: B' -> *