シンプルなプロトコルでexistential変数が作れる機能

禁止でいいと思ってる。