T16116b.hs:7:16: error: Not in scope: type variable ‘b’