A datatype that’s both
Corecursive, which enables applying both
operations to it.
Arrow provides three datatypes that are instances of
Birecursive, each modeling a
different way of defining birecursion.
|arrow.core||Either, Id, Ior, ListK, NonEmptyList, Option, SequenceK, Validated|
|arrow.recursion.data||Fix, Mu, Nu|
Do you like Arrow?✖