traitの基本自体は、ある型 T が　あるTrait P を満たす事を、 Tの定義とは分離して impl P for T って書くので、Swiftと似とる