Add explicit kind signatures to RProxy, RLProxy, and SProxy

Author: JordanMartinez

src/Data/Symbol.purs

@@ -9,7 +9,8 @@ import Type.Proxy (Proxy(..))
 
 -- | A value-level proxy for a type-level symbol.
 -- | **Deprecated as of v0.14.0 PureScript release**: use `Type.Proxy` instead.
-data SProxy (sym :: Symbol) = SProxy
+data SProxy :: Symbol -> Type
+data SProxy sym = SProxy
 
 -- | A class for known symbols
 class IsSymbol (sym :: Symbol) where

src/Type/Data/Row.purs

@@ -18,5 +18,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 :: Row Type)
-  = RProxy
+data RProxy :: Row Type -> Type
+data RProxy row = RProxy

src/Type/Data/RowList.purs

@@ -4,5 +4,5 @@ import Prim.RowList (RowList)
 
 -- | A proxy to carry information about a rowlist.
 -- | **Deprecated as of v0.14.0 PureScript release**: use `Type.Proxy` instead.
-data RLProxy (rowlist :: RowList Type)
-  = RLProxy
+data RLProxy :: RowList Type -> Type
+data RLProxy rowlist = RLProxy