id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
40,Check for overlapping projection dictionaries during type inference,benl,,"
Projections should be associated with data constructors, not general types, otherwise we get overlapping name problems.

{{{
project Maybe a where
 ... 

project Maybe Int where
 ... 
}}}

This will also allow a better syntax for & projections, eg {{{List&reverse}}}.

",defect,new,normal,0.1.4,Source Parser,0.1.2,,,
