the class of the command aggregate being tested, used to create verifiers
the command type that triggers aggregate operations
the state type maintained by the aggregate