testsuite/tests/gadt/T1999a.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE GADTs #-}
-- #1999

module ShouldCompile where

data EqTypes a b where
  EqConstr :: EqTypes a b -> EqTypes (s a) (s b)

eqUnConstr :: EqTypes (s a) (s b) -> EqTypes a b
eqUnConstr (EqConstr eq) = eq