ありがとうございます。
タプルとリストが違うこと、Haskellには厳密な意味では複数引数の関数は存
在しないことなどは、一応理解しているつもりです。

Template Haskellというのは初めて知りました。こういうものがあるんですねえ。
http://www.haskell.org/th/

「Scheme:多値」を今回読み返したところ、
http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3a%e5%a4%9a%e5%80%a4
以前は読み飛ばしていた
「関数型言語では、1-in, 1-outが普通だ。一見複数の引数を渡してるように
見えても、 タプルを使ったりcurryingしたりして、少なくとも意味上は1-in,
1-outになっている。」
という言葉が目に留まりました。

ちょっと考えたのですが、ある組み合わせのタプルを返す関数を書くなら、同
じ組み合わせのタプルを受け取る関数も書くのが普通、という理解でよいでしょ
うか？