@@ -9,9 +9,6 @@
99 + Added `MonadTrans` for `RWST`.
1010+ Added utility functions to `Data.SortedMap` and `Data.SortedSet` (`contrib`),
1111 most notably `merge`, merging two maps by their `Semigroup` op (`<+>`)
12−+ Added utility functions to `Data.SortedMap` and `Data.SortedSet` (`contrib`),
13− most notably `merge`, merging two maps by their `Semigroup` op (`<+>`)
14−
1512+ `Prelude.WellFounded` now contains an interface `Sized a` that defines a size
1613 mapping from `a` to `Nat`. For example, there is an implementation for lists,
1714 where `size = length`.