tcfail061.hs:5:17: Not in scope: type variable ‘b’

tcfail061.hs:5:19: Not in scope: type variable ‘b’

tcfail061.hs:11:22: Not in scope: type variable ‘b’

tcfail061.hs:11:24: Not in scope: type variable ‘b’