module EffectiveMemberships