I was reading LYAH and read that the Num class isn\'t a subset of Ord. This means that there is a Num type which is not a member of Ord, what could constitute such a type?
Complex number (Data.Complex.Complex) is one example which is a number (Num) but cannot be ordered (not Ord).