巨大なシーケンスの巨大な filtered シーケンスを作るのに、 lazy じゃない filter だと空間効率ばかにならない。