More type-in-type.