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


1
2
3
4
5
6


--data M2 (a :: Type) :: String -> Type where
--  Value2 :: a -> forall m . M2 a m

data M3 (a :: Type) (s :: String) where
  Value3 :: a -> forall m . M3 a m