Remove attempted re-export of Prim.Row.Cons

It is currently possible to attempt to re-export both a class and a type
of the same name from different modules.
It is not currently possible to define both a class and a type of the
same name in the same module.
What actually happens is that the order of exports defines which things
are really exported.

In the case of `Type.Row`, the re-export of `Prim.Row` comes first,
and the re-export of `Prim.RowList` comes after it.
This ordering means that the `Prim.Row.Cons` class is not re-exported,
but the `Prim.RowList.Cons` type is re-exported.

From the perspective of anyone importing `Type.Row`,
we've always only re-exported `Prim.RowList.Cons`.
We make that explicit by removing `Prim.Row.Cons` from the export list.

Author: joneshf

src/Type/Row.purs

@@ -12,7 +12,8 @@ module Type.Row
   , type (+)
   ) where
 
-import Prim.Row (class Lacks, class Nub, class Cons, class Union)
+import Prim.Row (class Lacks, class Nub, class Union)
+import Prim.Row as Row
 import Prim.RowList (kind RowList, Cons, Nil, class RowToList)
 import Type.Equality (class TypeEquals)
 import Type.Data.Symbol as Symbol
@@ -33,7 +34,7 @@ instance listToRowNil
 
 instance listToCons
   :: ( ListToRow tail tailRow
-     , Cons label ty tailRow row )
+     , Row.Cons label ty tailRow row )
   => ListToRow (Cons label ty tail) row
 
 -- | Remove all occurences of a given label from a RowList