>>327
> ラムダ計算で作れるデータ構造は大体 (->) で出来ている
> (->) で作れる型はあれもこれもモナドだった
これはどういうことを言ってるの？