実行時に、型と値のペアの配列として表現するような仕組みを考えているんじゃないかな

3:14 PM

で、curryだけは

3:15 PM

curry自体の返り値の型が

3:15 PM

その配列的なもので表現できないんですよね

3:15 PM

階数の異なる関数型として返ってくるから。

3:15 PM

そういう意味だと @koher がまさに言っているように

3:16 PM

Andreaさんのアプローチだと、過剰な制約をいれた実装になっちゃってて

3:16 PM

将来的にcurryも対応しようとしたら全然違う実装が更に必要になっちゃうかも？