失礼しました。ドラフト見たら明確にできることが書いてました。（5.1.2ｐ5）
ラムダにリプレースできるツールの候補があるんで、これ使ってデフォルト引数が実現できるか考えてみます。