Type stability for higher derivatives in ForwardDiff

related: