NoInfer.idr:11:5:When checking right hand side of zzz with expected type
        TT

No such variable k