複数種類の型を定義すると、複数種類の実装のオーバーロードで実現される。

2:50 AM

これが出来るとですね、assoctypeで引数を束縛するような、2つの型の関係が

2:50 AM

1:1，1:多しか今は出来ないが