class Sequent::Internal::AggregateType