../../Task/Hailstone-sequence/Binary-Lambda-Calculus