所有的基本数据类型(如Int,String,Eq a => [a])的前奏,除了功能和IO拥有的实例Eq。如果类型实例化,Eq则意味着我们知道如何比较两个值的值或结构相等性。
> 3 == 2 False > 3 == 3 True
(==) :: Eq a => a -> a -> Boolean或(/=) :: Eq a => a -> a -> Boolean(如果仅实现了一个,则另一个默认为否定已定义的一个)
(==) :: Eq a => a -> a -> Boolean
(/=) :: Eq a => a -> a -> Boolean
没有
Ord