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.