GHC 10.0.0.20260917 · lts/ghc-10.0.x · 04404a6 · 2026-10-19
Package sets
Modulepolysemy-1.9.2.0
extendMembership :: ElemOf e r -> ElemOf e (Append r r')
subsumeMembership :: Members r r' => ElemOf e r -> ElemOf e r'