Revision history for dependent-sum

0.5.0.0

• Make Some a newtype with associated pattern synonyms using unsafeCoerce to avoid the GADT performance overhead. This shouldn't affect users.
• Deprecate the constructor name This in favor of Some.
• Drop support for GHC older than 8.0.