../../Task/Short-circuit-evaluation/Standard-ML