existentialにstaticメソッドは持たせられないので