## Changelog for dependent-sum-0.6

# 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.