testsuite/tests/ghc-regress/indexed-types/should_fail/T3440.hs


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)