“…In a sense the ensuing recursion scheme, conjugate hylomorphisms, can be considered the mother of all recursion schemes, as almost every recursion scheme can be framed as an instance: folds and unfolds [10,21,23], folds with parameters [26], mutu-and zygomorphisms [8,20], histo-and futumorphisms [29], generalized folds [5], recursion schemes from comonads [31], and adjoint folds [11]. This is not the first time this topic has been visited, and indeed most of the results in Section 3 appear in Capretta et al [6], albeit using different machinery-comonads and distributive laws-and with substantially longer proofs. We demonstrate that each of their comonadic schemes also arises by instantiating the conjugate rule to an adjunction that generates the comonad.…”