mod25.hs:3:16: Not in scope: type variable ‘b’