とりあえず現状の言語仕様だと、existentialを引数に取るトップレベル関数として実装するしか無さそう。