総称型と部分型をどっちも単に多相って呼んでるから訳分からなくなってるんでは?