Как называются типы с ограничениями типов?

Например, Num a => a.

Я предположил, что они просто называются «типами с ограничениями», но Google не использовал много раз этот термин, поэтому мне любопытно узнать, носят ли они другое имя.