module EffectiveAddresses::Generators