blob: 0f53a327b6dcd522f2c2ff06406d2bd9946dbb49 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# Language RankNTypes #-}
{-# Language DataKinds #-}
{-# Language PolyKinds #-}
{-# Language GADTs #-}
module T15872 where
import Data.Kind
data WHICH = OP | OPOP
data Fun :: forall (a :: WHICH). a ~ OP => Type -> Type -> Type where
MkFun :: (a -> b) -> Fun a b
|