tcfail052.hs:4: Type variable not in scope: `c' Compilation had errors