Generics.Deriving.Eq
Generic show class
class
GEq
a