Data.Dependent.Sum

data DSum tag

class ShowTag tag

class ReadTag tag

class EqTag tag

class OrdTag tag