T13983.hs:7:25: error: [GHC-76037] Not in scope: type variable ‘k’