Make equality constraints in kinds invisible
[ghc.git] / testsuite / tests / ghci / scripts / T15872.hs
1 {-# Language RankNTypes #-}
2 {-# Language DataKinds #-}
3 {-# Language PolyKinds #-}
4 {-# Language GADTs #-}
5 module T15872 where
6
7 import Data.Kind
8
9 data WHICH = OP | OPOP
10
11 data Fun :: forall (a :: WHICH). a ~ OP => Type -> Type -> Type where
12 MkFun :: (a -> b) -> Fun a b