Polysemy.Internal.Bundle
extendMembership :: forall r r' e. ElemOf e r -> ElemOf e (Append r r') Source #
subsumeMembership :: forall r r' e. Members r r' => ElemOf e r -> ElemOf e r' Source #