structなどの実装におけるfuncを定義してassoctypeを縛る挙動と等価