Data.Dependent.Sum
data DSum tag
class ShowTag tag
class ReadTag tag
class EqTag tag
class OrdTag tag