水の移しかえパズル

SICPを(今頃)読みはじめました。実は再入門なんだけど。 で、いきおいScheme(Gauche)を書くことが多いんだけど、改めてHaskellをつかってみると型がどれだけ楽チンか、というかプログラマーに楽をさせてくれるか、に気づきます。
いやだから何だというわけじゃないんだけどね。たまにはなにか書こうと思って。