ERROR "tcfail061.hs":11 - Undefined type variable "b"
