A datatype that’s both Recursive and Corecursive, which enables applying both fold and unfold operations to it.

Data types

Arrow provides three datatypes that are instances of Birecursive, each modeling a different way of defining birecursion.

Module Data types
arrow.core Either, Id, Ior, ListK, NonEmptyList, Option, SequenceK, Validated Cofree, Free Fix, Mu, Nu

Type Class Hierarchy

Do you like Arrow?

Arrow Org