Type Definition AggregateId
eventually
type AggregateId<A> = <A as Aggregate>::Id;
A short extractor type for the Aggregate Id.
Id