What are types with type constraints called?

For example, Num a => a.

I assumed they're just called "constrained types", but Googling didn't turn up many uses of that term so I'm curious to know if they go by some other name.