シンプルに型変数はインスタンス毎に型が定義されるから、ごちゃ混ぜにもならなければそれぞれのインスタンス毎に型の導出が可能なんじゃい、という話だと思った