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