Partitioned Type class into mixins/modules.