1.0.4.1
- Drop support for GHC before 8.6
1.0.4
- Add instances for
(:~~:)
- Add instances for
:+:
and :*:
- Add
defaultGeq :: GCompare f => f a -> f b -> Maybe (a :~: b)
- Add
defaultGshowsPrec :: Show (t a) => Int -> t a -> ShowS
1.0.3
- Make
GNFData
PolyKinded.
- Add
GNFData ((:~:) a)
and GNFData TypeRep
instances
1.0.2
- Explicitly mark
Data.Some
as Safe
.
It was previously inferred, yet it was Safe too,
as it only re-exports other explicitly marked modules.
- Allow
base-4.15
, GHC-9.0 compatibility
1.0.1
1.0.0.3
- One less
unsafeCoerce
(thanks to David Feuer)
1.0.0.2
1.0.0.1
1
- Split out of
dependent-sum
- Have
GADT
, Newtype
, Church
variants
- Add
NFData
instance