Settling on final type spec