List.fold_left (fun acc t -> Pure.A(acc,t_of_nf t)) m args
| `I((v,_), args) -> Listx.fold_left (fun acc t -> Pure.A(acc,t_of_nf t)) (Pure.V v) args
and t_of_nf =
List.fold_left (fun acc t -> Pure.A(acc,t_of_nf t)) m args
| `I((v,_), args) -> Listx.fold_left (fun acc t -> Pure.A(acc,t_of_nf t)) (Pure.V v) args
and t_of_nf =