typeclass---类型类

这个翻译的...我快看不懂类字了

data Position = Position Int Int

instance Eq Position where

　　...给出 "==" 定义

这样 Position 就成为了 Eq 的一个实例 ( instance )

也可以这么写

data Position = Position Int Int

　　driving Eq

有不同构造函数的时候可能锅

可以 driving 的有 Eq, Ord, Enum, Bounded, Show, Read

 

Show/Read