ここで例題で言及されている関数は、 data-fixやrecursion-schemes (ここではもっと多くの関数)など、いくつかのパッケージでさまざまな抽象度で定義されています。あなたはHayooで検索してより完全なリストを見ることができます。
data-fix
recursion-schemes