どのSequenceを当てるんだろ、LazySequenceでいいのかな