mod25.hs:3:16: Not in scope: type variable `b'