あとそもそも言語デフォルトでif/switchが提供されてる場合に、その型をどう解決するかという問題があると思うんですが