• Unfolds into a Cofree from the seed with monad M.

    Type Parameters

    • F

    • M

    Parameters

    • traversable: Traversable<F>

      The instance of Traversable for F.

    • monad: Monad<M>

      THe instance of Monad for M.

    Returns (<B, A>(unfolder) => ((init) => Get1<M, Cofree<F, A>>))

    The new instance.

Generated using TypeDoc