Assume a class and aspect of the same type is just a pure type.

Primary and secondary types not specified.