let
fixpoint =
Cofix
.obtain