• Creates a new CatT with an empty context.

    Type Parameters

    • M

    Parameters

    • monad: Monad<M>

      The monad implementation for M.

    Returns CatT<M, never[]>

    A new CatT.

Generated using TypeDoc