1

• Split out of dependent-sum
• Have GADT, Newtype, Church variants
• Add NFData instance