stricter-labelled-field-syntax.md

@@ -42,6 +42,28 @@
 Make the labelled field syntax stricter, so that unclear code is illegal.
 
 
+
+Instead of:
+
+
+```wiki
+data A = A {x :: Int}
+
+y :: Maybe A
+y = Just A {x = 5}
+```
+
+
+you would need to write:
+
+
+```wiki
+data A = A {x :: Int}
+
+y :: Maybe A
+y = Just (A {x = 5})
+```
+
 ## Description