>>377
>これすらコンパイル通らないのが嫌なんだ

Fix使おう。
ttp://d.hatena.ne.jp/NyaRuRu/20070722

>public staticメソッドなら型推論が効くから、

Generic Methodならstaticじゃなくても型推論が効く。
staticは関係ないんでは？

>>379
>ところで、末尾再帰の最適化って保証されてるの？

されないのでZipとかUnfoldとか（ないけど作って）使おう。