>>241
ありがとう。そんな最初のところだったのか。
こりゃ単に r はパラメトリック多相な関数じゃなきゃいかんて話だな。

>>232みたいに型ごと値ごとにアド・ホックな対応を付けて
r を構成することはできない（任意の型のリストの任意の値を
取らなきゃいけないんで計算可能にならない）。