Lift a FreeC[F] into a FreeC of a Coproduct of effects (where G is
the kind of the Coproduct of effects), using an implicit Inject
instance as evidence of how to lift F into the coproduct.
Lift a FreeC[F] into a FreeC of a Coproduct of effects (where G is
the kind of the Coproduct of effects), using an implicit Inject
instance as evidence of how to lift F into the coproduct.
This is useful when you have some FreeCs of one effect (say ConsulOp)
and some FreeCs of another effect (say DnsOp) and you want to combine
them into a FreeC of one effect type or the other.