Function composeT

composeT<M>(
    monad: TypeClass.Monad.Monad<M>,
): <const D extends Record<string, symbol>, T>(
    lower: EtherT<D, M, T>,
) => <const E extends Record<string, symbol>, U>(
    upper: EtherT<E, M, U>,
) => EtherT<OmitType<E, T> & D, M, U>
Composes two EtherTs into a new one. Injects lower into upper.
Type Parameters
- M
Parameters
- monad: TypeClass.Monad.Monad<M>
  The monad implementation for M.
Returns <const D extends Record<string, symbol>, T>(
lower: EtherT<D, M, T>,
) => <const E extends Record<string, symbol>, U>(
upper: EtherT<E, M, U>,
) => EtherT<OmitType<E, T> & D, M, U>
The injected EtherT, which will be resolved the matching dependencies on upper with lower's handler.
- Defined in src/ether.ts:336