NoInfer.idr:11:7-11:
   |
11 | zzz = `(FZ)
   |       ~~~~~
When checking right hand side of zzz with expected type
        TT

No such variable k