存在型はそのプロトコル自身には準拠しない