@@ -22,17 +22,17 @@ import Data.HTTP.Method (Method(..))
2222import Data.Maybe (Maybe(..))
2323import Data.Newtype (un)
2424import Data.Nullable (Nullable, toNullable)
25−import Data.Symbol (class IsSymbol, SProxy(..))
25+import Data.Symbol (class IsSymbol)
2626import Data.Tuple (Tuple)
2727import Effect (Effect)
2828import Effect.Uncurried (EffectFn2, runEffectFn2)
2929import Foreign.Object (Object)
3030import Prim.Row as Row
31−import Prim.RowList (kind RowList)
31+import Prim.RowList (RowList)
3232import Prim.RowList as RowList
3333import Record (merge)
3434import Record.Builder as Record
35−import Type.Data.RowList (RLProxy(..))
35+import Type.Proxy (Proxy(..))
3636import Type.Row.Homogeneous (class Homogeneous)
3737import Web.Fetch.Headers (Headers)
3838import Web.Fetch.Headers as Headers
@@ -126,10 +126,10 @@ instance buildRequestOptionsRecord
126126 , Row.Nub r'' RequestOptions
127127 )
128128 => BuildRequestOptions { | r } where
129− buildRequestOptions r = merge (Record.build (convertOptions (RLProxy :: _ rl)) r) defaultOptions
129+ buildRequestOptions r = merge (Record.build (convertOptions (Proxy :: _ rl)) r) defaultOptions
130130
131−class ConvertOptions (rl :: RowList) (input :: # Type) (output :: # Type) | rl input -> output where
132− convertOptions :: RLProxy rl -> Record.Builder { | input } { | output }
131+class ConvertOptions (rl :: RowList Type) (input :: Row Type) (output :: Row Type) | rl input -> output where
132+ convertOptions :: forall rlproxy. rlproxy rl -> Record.Builder { | input } { | output }
133133
134134instance convertOptionsCons ::
135135 ( ConvertOptions rest input' output
@@ -139,14 +139,14 @@ instance convertOptionsCons ::
139139 , IsSymbol field
140140 ) => ConvertOptions (RowList.Cons field from rest) input output where
141141 convertOptions _ =
142− convertOptions (RLProxy :: _ rest)
143− <<< Record.modify (SProxy :: _ field) (convertOption (SProxy :: _ field))
142+ convertOptions (Proxy :: _ rest)
143+ <<< Record.modify (Proxy :: _ field) (convertOption (Proxy :: _ field))
144144
145145instance convertOptionsNil :: ConvertOptions RowList.Nil r r where
146146 convertOptions _ = identity
147147
148148class ConvertOption (field :: Symbol) from to | field -> to where
149− convertOption :: SProxy field -> from -> to
149+ convertOption :: forall sproxy. sproxy field -> from -> to
150150
151151instance convertMethod :: ConvertOption "method" Method Method where
152152 convertOption _ = identity
@@ -188,4 +188,4 @@ instance convertReferrerPolicy :: ConvertOption "referrerPolicy" ReferrerPolicy
188188 convertOption _ = identity
189189
190190instance convertIntegrity :: ConvertOption "integrity" Integrity Integrity where
191− convertOption _ = identity
191+ convertOption _ = identity