面白いですね、これ。traitを実装する型自体とtraitのgeneric parameterとが一対一に紐付かないのか (edited)