んと、Bの実装は実は、existentialだけあれば十分なのだ