id	summary	reporter	owner	description	type	status	priority	milestone	version	resolution	keywords	cc
43	Comments on GADT constructors	jeanphilippe.bernardy@…	nwf	"eg. this fails:

data I ev w a where
    Returns :: a -> I ev w a
    Binds :: I ev w a -> (a -> I ev w b) -> I ev w b
    Gets :: Ord ev => Maybe ev -> Maybe ev -> I ev w ev 
    -- ^ Accept any character between given bounds. Bound is ignored if @Nothing@.
"	enhancement	assigned	major		2.1.0			pho@… conal@… v.dijk.bas@… paolo.veronelli@… felipe.lessa@…