Body が assoc type ですが、型パラ的性質のものじゃないので成り立ってます。