:2:32: error: Not in scope: type variable ‘k’