lazyは無限の計算を打ち切る
遅い計算をちょっと速くするだけの最適化とは次元が違う