f1の型は関数の型になるけど返り値はORTとして表示される？この辺もExistentialと同じですよね