直Existentialも関数呼び出しのオーバーヘッドはそこそこあった気がするけど