Fix forall proxy workaround (#132)

* Replace polymorphic proxy with monomorphic one

* Add changelog

Author: JordanMartinez

CHANGELOG.md

@@ -6,6 +6,7 @@ Notable changes to this project are documented in this file. The format is based
 
 Breaking changes:
 - Migrate FFI to ES modules (#130 by @kl0tl and @JordanMartinez)
+- Replaced polymorphic proxies with monomorphic `Proxy` (#132 by @JordanMartinez)
 - Make `frequency` use `NonEmptyArray` (#131 by @JordanMartinez)
 
   Now `oneOf` and `frequency` both use `NonEmptyArray` rather than `NonEmptyList`.

src/Test/QuickCheck/Arbitrary.purs

@@ -279,7 +279,7 @@ genericCoarbitrary x = coarbitrary (from x)
 -- | A helper typeclass to implement `Arbitrary` for records.
 class ArbitraryRowList :: RL.RowList Type -> Row Type -> Constraint
 class ArbitraryRowList list row | list -> row where
-  arbitraryRecord :: forall rlproxy. rlproxy list -> Gen (Record row)
+  arbitraryRecord :: Proxy list -> Gen (Record row)
 
 instance arbitraryRowListNil :: ArbitraryRowList RL.Nil () where
   arbitraryRecord _ = pure {}