@neauoire I know, it is not a tail recursion. The fixedpoint function is elegant but not efficient. It is important that Funktal can handle it, and in fact it showed me a design flaw I still have to fix. But in practice I would not use it.
I'll send you a tail-recursive one for contrast later. Your tool is very cool!