こういう、固有名詞側に型名(？＞＜；)が入ってるせいで冗長になる固有名詞って、なんか総称あるのかな？＞＜