idris-0.12.3: test/quasiquote003/expected
NoInfer.idr:11:5:When checking right hand side of zzz with expected type
TT
No such variable k
NoInfer.idr:11:5:When checking right hand side of zzz with expected type
TT
No such variable k