Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished.
See test/Main.purs
test :: Unit
test = do
let
expected = Proxy :: Proxy (RProxy ( a :: SProxy "a", b :: SProxy "b", c :: SProxy "c" ))
actual = X.getKeysRow { a: 1, b: 2, c: 3 }
expectInferred expected actual
test2 :: Unit
test2 = do
let
expected = Proxy :: Proxy ({ a :: SProxy "a", b :: SProxy "b", c :: SProxy "c" })
actual = X.getKeysRecord { a: 1, b: 2, c: 3 }
expectInferred expected actual
test3 :: Unit
test3 = do
let
expected = Proxy :: Proxy ({ a :: SProxy "a", b :: SProxy "b", c :: SProxy "c" })
actual = X.getKeysRecord' (Proxy :: Proxy { a :: Int, b :: Int, c :: Int })
expectInferred expected actual