T5481.hs:6:16: Not in scope: type variable ‘b’

T5481.hs:8:16: Not in scope: type variable ‘a’