blob: ca78ab68eaefdbae41a71fc20f4f77ae1e08340e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE GADTs #-}
module T3950 where
-- Id :: (* -> * -> *) -> * -> * -> *
data Id p x y = Id (p x y)
-- Sealed :: (* -> *) -> *
data Sealed p where
Sealed :: p x -> Sealed p
-- w :: (* -> * -> *) -> *
-- Id p :: * -> * -> *
rp :: Bool -> Maybe (w (Id p))
rp _ = Just rp'
where rp' :: Sealed (Id p x)
rp' = undefined
|