mod26.hs:3:21: Not in scope: type variable ‘b’