matryoshka
Unfolds for corecursive data types.
An unfold that can short-circuit certain sections.
An unfold that can handle sections with a secondary unfold.
Unfolds for corecursive data types.