A Reversion to Type