../../Task/Algebraic-data-types/Standard-ML