idris-0.9.14: test/quasiquote003/expected

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