n-types