Confusing (to me) statement from "Type Classes in Haskell"
Simple answer: When the above class definition is in scope, you simply cannot bind (&lt;) or (&lt;=) except as part of an instance declaration for Ord.