id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
2101,Allow some form of type-level lemma,guest,,See http://www.haskell.org/pipermail/haskell/2008-February/020230.html,feature request,new,normal,_|_,Compiler,6.8.2,,,ryani.spam@…,Unknown/Multiple,Unknown/Multiple,,Unknown,,,,