変数はダメだけど、引数でDefaultPをとる実装をオーバーロードすると、確かに引数だけなら .default が使えそうですね