compactMap(pred).first を lazy.compactMap(pred).first と書けば最適なのはわかるけど、それが一番良い状態なのかなあという疑問。

2:21 AM

この先頭の lazy. に込められた意味がおもすぎるというか

2:21 AM

明示的でないというか。