Types, not total