hrmmm... sounds like a coinductive description https://en.wikipedia.org/wiki/Coinduction https://en.wikipedia.org/wiki/Coinduction (i've done a bit of modellin

hrmmm... sounds like a coinductive description https://en.wikipedia.org/wiki/Coinduction https://en.wikipedia.org/wiki/Coinduction (i've done a bit of modelling using coinduction, and it has a very funky but precise relationship with immutable object oriented program descriptions)