matryoshka.instances.fixedpoint
A representation of infinity, as a non-terminating corecursive process