いや、それはそうなんですが、

4:32 PM

HConsが型パラをまた再帰的に取るから

4:32 PM

HConsの型パラを埋めきったコンクリートな型を

4:32 PM

網羅的に列挙できないと思って。

4:32 PM

HConsであることだけでは型として完成しないから意味がないような気がします。

4:33 PM

@tarunon あれ、それだけかな？