../../Task/Arithmetic-geometric-mean/Standard-ML