# 1 - Split out of `dependent-sum` - Have `GADT`, `Newtype`, `Church` variants - Add `NFData` instance