Multirec is an example of a refold. They are surprisingly common in real problems you encounter. The Haskell equivalent is hylo. https://www.stackage.org/haddoc

Multirec is an example of a refold. They are surprisingly common in real problems you encounter. The Haskell equivalent is hylo. https://www.stackage.org/haddock/lts-11.10/recursion-schemes-5.0.2/Data-Functor-Foldable.html#v:hylo https://www.stackage.org/haddock/lts-11.10/recursion-schemes...