::
GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12
Modulepolysemy-1.9.2.0
extendMembership :: ElemOf e r -> ElemOf e (Append r r')
subsumeMembership :: Members r r' => ElemOf e r -> ElemOf e r'