testdata/language-features/adt/gadt04.reject.lc


1
2
3
4
5
6
7


data M :: Type -> String -> Type where
  Value :: a -> forall m . M a m

data M2 :: Type -> String -> Type where
  Value :: a -> forall m . M2 a m