Ergのドキュメントが参考になる
構造的部分型と単一化の組み合わせ方の参考になる
erg/doc/JA/compiler/inference.md at main · erg-lang/erg · GitHub
