Monad GHC.Prim.Any1 gets derived in a context
|Reported by:||Owned by:||simonpj|
|Component:||Compiler (Type checker)||Version:||6.7|
|Keywords:||Any1 context type-inference||Cc:|
|Type of failure:||None/Unknown||Test Case:||tcfail181|
|Related Tickets:||Differential Rev(s):|
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.