Generalized Existenailの Any記法とさっきの Sequence<where> の記法とかはそこの方向性の違いであると思う