Simon L. Peyton Jones Haskell 98: Specification of Derived Instances. 139-144 2003 13 J. Funct. Program. 1 http://dx.doi.org/10.1017/S0956796803001217 db/journals/jfp/jfp13.html#Jones03i