NoInfer.idr:11:5:When elaborating right hand side of zzz:
No such variable k