comment added; owner, testcase set; type changed

• owner set to igloo
• testcase set to tc242
• type changed from bug to merge

Thanks. The bug turns out to be that -XScopedTypeVariables should imply -XRelaxedPolyRec. If you add the latter flag you will be fine. I'll push a patch and some tests.

Simon