The Class Hierarchy

class Eq a => Ord a where

(<) :: a -> a -> Bool

…

Read:

“Type a in class Eq is also in class Ord, if it provides the following methods…”