lazy sequenceでなんとかなんないですかね