この、existentialから呼び出した関数の返り値ORTがconcrete typeとして扱われないのって何でなんでしょうか？