matryoshka.instances.fixedpoint
This instance is not implicit, because it potentially runs forever.
Canonical function that diverges.
A partial function that immediately evaluates to the provided value.