mod25.hs:3:16: error: [GHC-76037] Not in scope: type variable ‘b’