Re: [Haskell-cafe] Hyper-recursion?

Thus quoth Lawrence Bottorff at 01:11 on Wed, Jan 18 2017:

I guess I'm using a looser definition of recursion, something not exactly "self-referential." For example, I'm on the phone with someone, and then I accept a call-waiting call. You can go into multiple depths of call waiting, then wind your way back out as you hang up on each -- all the way back to the original caller.

[...]

This could go on and on, new polynomials substituted into one of the variables of the previous.

This sounds a lot like recursive (inductive/coinductive) data structures. -- Sergiu