それて、テンプレートの型パラメータが決まってない状態で式展開していって、最終的に具象型で解決する処理の流れが、HM型推論がpolytypeで仮置きしながら推論を進めていく動きと、よく似ているなあと最近思った