Почему имена образуют вид, а не только тип?

Некоторое время назад в одном из расширений Haskell (не могу найти ссылку ), а недавно в Уре нашел что имена (, например, полей записи ), образуют вид. Может кто-нибудь объяснить, почему им недостаточно абстракции типов?