Reification and type-safety in a CQRS world by Renato Cavalcanti