matryoshka
Unfolds for corecursive data types.
An unfold that can short-circuit certain sections.
Roughly a default impl of embed, given a matryoshka.Recursive instance and an overridden ana.
embed
ana
An unfold that can handle sections with a secondary unfold.
Unfolds for corecursive data types.