>>242
> 型ごと値ごとにアド・ホックな対応を付けて
> r を構成することはできない（任意の型のリストの任意の値を
> 取らなきゃいけないんで計算可能にならない）。
その条件が明記されているのはあまり見たことがないのですが、
暗黙の常識なのですか？