@markandrus/effect-derive/lib/Corecursive.js

Derive Covariant (Functor), Foldable, and Traversable instances, as well as base functors, for algebraic data types (ADTs)

export const ana = (T) => (g) => (b) => {
    function go(b) {
        return T.embed(T.F.map(g(b), go));
    }
    return go(b);
};