fix "any earlier type"