New posts in Recursive Datastructures

How can I walk this type with a recursion scheme instead of explicit recursion?

Python hangs indefinitely trying to delete deeply recursive object

Scope of mu (μ) bindings in type theory