module-system.md

@@ -4,7 +4,7 @@
 There are inconsistencies in the current module system that cause confusion for users and complications for implementors. The issue is that while import, export, and hiding declarations have the same syntax, they have slightly different interpretations when it comes to names in the typespace.
 
 
-In particular capital names are treated as types or classes in imports and exports but are treated as types, classes or value constructors in hiding clauses.
+In particular capital names are treated as types or classes in imports and exports but are treated as types, classes or value constructors in hiding clauses and there is no way to export just a constructor if it has the same name as a type.
 
 ## Proposal