今の感じだとされなさそうですね。 Core Team はそういう方向に進むのにネガティブっぽいです。

5:52 AM

ただ、 map の結果を型によって lazy にしたいというニーズはありそう。 (edited)