あー、なるほど。理解しました

5:07 PM

しかし Mirror 側から lazy かどうかを判定するすべはなさそうなので、some が生えちゃうのは仕方なさそうなイメージですね