>>669
traitとimplのfnの型制約なくしてimplの制約にするのはどう？
Tに対する制約は実装に依るものなのでimplが課してるものとみなした方が自然な気がする