dependent-sum <0.6 || >0.6 && <0.6.1 || >0.6.1 && <0.6.2.2 || >0.6.2.2