listとかvectorはあるのに、より優れた概念のS式がないのはおかしい