Modules

• Data.Dependent.Sum
• Data.GADT.Compare
• Data.GADT.Show