idris-0.9.20: 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