Yes, cata uses stack based recursion.

m/with as well?

Yes.

Sorry for the short reply yesterday. Yes, for the recursive definitions. That could probably be improved but would need some thinking on.

no problem

open source is not about me : >