class Sequent::Generator::Aggregate