# Revision history for dependent-sum
## 0.6 - 2019-03-21
* Use constraints-extras ArgDict/Has' to define the instances of Eq, Ord, Read and Show for DSum.
This obviates the need for the EqTag, OrdTag, ReadTag and ShowTag classes.
## 0.5.1.0
* Add `mkSome` and `mapSome` to `Data.Some`.
* Add `GEq`, `GCompare`, `GShow,` and `GRead` instances for `Sum` and `Product` (Except `GRead (Product a b)`).
* Deprecate `(:=)` for `(:~:)` from `Data.Type.Equality`.
In GHC 7.8 and above, this is the same as `(:~:)`.
But now we no longer support earlier GHCs, so there's no point of the alias.
* Remove support for GHC 7.x.
* The git repositories for dependent-sum and dependent-sum-template are now the same, though the Haskell packages remain separate.
## 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.