Avatar
where Element: Pを付けたら暗黙的にElement: Hashableも付く…?