Drop deprecated use of RLProxy and SProxy (#144)

* Drop deprecated use of `RLProxy`

* Also drop `SProxy`

Author: i-am-the-slime

src/React/Basic/Events.purs

@@ -12,13 +12,13 @@ module React.Basic.Events
   ) where
 
 import Prelude
-import Data.Symbol (class IsSymbol, SProxy(SProxy))
+import Data.Symbol (class IsSymbol)
 import Effect (Effect)
 import Effect.Uncurried (EffectFn1, mkEffectFn1)
 import Prim.Row as Row
 import Prim.RowList (class RowToList, RowList, Cons, Nil)
 import Record (delete, get, insert)
-import Type.Data.RowList (RLProxy(..))
+import Type.Proxy (Proxy(..))
 
 -- | An event handler, which receives a `SyntheticEvent` and performs some
 -- | effects in return.
@@ -80,7 +80,7 @@ syntheticEvent :: EventFn SyntheticEvent SyntheticEvent
 syntheticEvent = identity
 
 class Merge (rl :: RowList Type) fns a r | rl -> fns, rl a -> r where
-  mergeImpl :: RLProxy rl -> Record fns -> EventFn a (Record r)
+  mergeImpl :: Proxy rl -> Record fns -> EventFn a (Record r)
 
 instance mergeNil :: Merge Nil () a () where
   mergeImpl _ _ = EventFn \_ -> {}
@@ -97,13 +97,13 @@ instance mergeCons ::
   mergeImpl _ fns =
     EventFn \a ->
       let
-        EventFn inner = mergeImpl (RLProxy :: RLProxy rest) (delete l fns)
+        EventFn inner = mergeImpl (Proxy :: Proxy rest) (delete l fns)
 
         EventFn f = get l fns
       in
         insert l (f a) (inner a)
     where
-    l = SProxy :: SProxy l
+    l = Proxy :: Proxy l
 
 -- | Merge multiple `EventFn` operations and collect their results.
 -- |
@@ -120,4 +120,4 @@ merge ::
   Merge fns_list fns a r =>
   Record fns ->
   EventFn a (Record r)
-merge = mergeImpl (RLProxy :: RLProxy fns_list)
+merge = mergeImpl (Proxy :: Proxy fns_list)