Replace RLProxy rowlist -> RProxy row with forall proxy solution

Author: JordanMartinez

src/Data/Bounded.purs

@@ -76,8 +76,8 @@ instance boundedProxy3 :: Bounded (Proxy3 a) where
   top = Proxy3
 
 class OrdRecord rowlist row <= BoundedRecord rowlist row subrow | rowlist -> subrow where
-  topRecord :: RLProxy rowlist -> RProxy row -> Record subrow
-  bottomRecord :: RLProxy rowlist -> RProxy row -> Record subrow
+  topRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
+  bottomRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
 
 instance boundedRecordNil :: BoundedRecord RL.Nil row () where
   topRecord _ _ = {}

src/Data/HeytingAlgebra.purs

@@ -111,8 +111,8 @@ foreign import boolNot :: Boolean -> Boolean
 -- | A class for records where all fields have `HeytingAlgebra` instances, used
 -- | to implement the `HeytingAlgebra` instance for records.
 class HeytingAlgebraRecord rowlist row subrow | rowlist -> subrow where
-  ffRecord :: RLProxy rowlist -> RProxy row -> Record subrow
-  ttRecord :: RLProxy rowlist -> RProxy row -> Record subrow
+  ffRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
+  ttRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
   impliesRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
   disjRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
   conjRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow

src/Data/Semiring.purs

@@ -100,8 +100,8 @@ foreign import numMul :: Number -> Number -> Number
 class SemiringRecord rowlist row subrow | rowlist -> subrow where
   addRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
   mulRecord :: RLProxy rowlist -> Record row -> Record row -> Record subrow
-  oneRecord :: RLProxy rowlist -> RProxy row -> Record subrow
-  zeroRecord :: RLProxy rowlist -> RProxy row -> Record subrow
+  oneRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
+  zeroRecord :: forall rlproxy rproxy. rlproxy rowlist -> rproxy row -> Record subrow
 
 instance semiringRecordNil :: SemiringRecord RL.Nil row () where
   addRecord  _ _ _ = {}