Changelog for dependent-sum-0.5

Revision history for dependent-sum

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.