module SpecProducer::Generators