qualified-identifiers.md

@@ -24,7 +24,12 @@ qvarid -> [ modid . ] id
 and similarly for qualified symbols.
 
 
-An argument against doing this is that treating `M.where` as a qualified variable isn't very useful, since you can't define a variable called `where`.  Perhaps it should be possible to use qualified identifiers in a definition, to make this consistent again?
+See also [CompositionAsDot](composition-as-dot), which supercedes this proposal if adopted.
 
+### Cons
 
-In favour of making this change: most compilers don't get it right anyway, this is just a small change that makes it easier to implement Haskell.
+- treating `M.where` as a qualified variable isn't very useful, since you can't define a variable called `where`.  Perhaps it should be possible to use qualified identifiers in a definition, to make this consistent again?
+
+### Pros
+
+- most compilers don't get it right anyway, this is just a small change that makes it easier to implement Haskell.