Re: Procedure which returns procedure

[Araq]

    proc pprint(annotation: string): (proc(t0: T1): T1) =
      # ... some usage of annotation parameter ..
    

Parenthesis help.