登ってみました。
orbit ::= space

climb : ladder -> orbit
climb (step l) = climb l
climb end = space

climb (spaceLadder ()) ...........
トマリマセーン！