@@ -3,9 +3,11 @@
33### New Features
44
55- RankNTypes
6+
67 This experimental feature enables the use of the `forall` quantifier in a
78- Modules
89- Polymorphic Object Update
10+
911 Records now support member update in which the type of the field changes during the update. For example:
1012
1113 data Wrap a = Wrap a