Make compile on PS polykinds branch

Author: JordanMartinez

src/Type/Data/Row.purs

@@ -16,5 +16,5 @@ module Type.Data.Row where
 -- | { x :: Int, y :: Int } -> { x :: Int, y :: Int }
 -- | ```
 -- | Here `row` has been specialised to `( x :: Int, y :: Int )`.
-data RProxy (row :: # Type)
+data RProxy (row :: Row Type)
   = RProxy

src/Type/Data/RowList.purs

@@ -2,8 +2,6 @@ module Type.Data.RowList where
 
 import Prim.RowList (kind RowList)
 
--- | A proxy data type whose type parameter is a type of kind `RowList`.
--- |
--- | Commonly used for specialising a function with a quantified type.
-data RLProxy (rowlist :: RowList)
+-- | A proxy to carry information about a rowlist.
+data RLProxy (rowlist :: RowList Type)
   = RLProxy