Yes, cata uses stack based recursion.
cata
m/with as well?
m/with
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 : >