id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
1382,Monad GHC.Prim.Any1  gets derived in a context,iampure@…,simonpj,"Because Monad GHC.Prim.Any1 gets derived in the type of the function test in the attached file, I cannot write an instance for it (obviously) and I cannot continue writing the code where I use the test function. I.e. I have this problem in a real project and it's blocking progress, until I find a work-around (which I didn't find after about an hour). I hope this gets fixed soon.",bug,closed,high,,Compiler (Type checker),6.7,fixed,Any1 context type-inference,,Unknown/Multiple,Unknown/Multiple,,Unknown,tcfail181,,,