blob: 0bf1544009f9a6abbfbedc0132acac7c654f4207 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE TypeFamilies, GADTs #-}
module T3440 where
type family Fam a :: *
data GADT :: * -> * where
GADT :: a -> Fam a -> GADT (Fam a)
unwrap :: GADT (Fam a) -> (a, Fam a)
unwrap (GADT x y) = (x, y)
|