id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
1965,Allow unconstrained existential contexts in newtypes,guest,,"Declarations like

{{{
newtype Bar = forall a. Bar (Foo a)
}}}

ought to be allowed so long as no typeclass constraints are added. Right now, this requires data rather than newtype.
",feature request,new,normal,7.6.2,Compiler,6.8.1,,,pumpkingod@… ireney.knapp@… mokus@…,Unknown/Multiple,Unknown/Multiple,None/Unknown,Unknown,,,,