Data.Constructors.EqC

class EqC a