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...