id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
87	Support type constraints on constructor	benl		"
Allow type constraint on constructors so we can explicitly state effect and closure constraints.

{{{
data Fun a b
     = forall !e1 $c1. SomeFun (a -(!e1 $c1)> b) :- Pure !e1, Empty $c1
}}}"	enhancement	new	normal	0.1.5	Source Parser	0.1.2