ああ、そうだった、単位計算の文脈がこれなんだ。自分の中では Unit Type って呼んでた。