k : type → constraint \over ∀a. (k\ a) => f
Constraints are more of a feature in Haskell programming language. They are technically types, but they constrain type parameters and are provided implicitly.
If you’ve understood things so far, type constraints and classes should not be a difficult concept to understand.