Use forall proxy. proxy sym solution for reifySymbol

Author: JordanMartinez

src/Data/Symbol.purs

@@ -26,9 +26,9 @@ class IsSymbol (sym :: Symbol) where
 -- local definition for use in `reifySymbol`
 foreign import unsafeCoerce :: forall a b. a -> b
 
-reifySymbol :: forall r. String -> (forall sym. IsSymbol sym => Proxy sym -> r) -> r
+reifySymbol :: forall proxy r. String -> (forall sym. IsSymbol sym => proxy sym -> r) -> r
 reifySymbol s f = coerce f { reflectSymbol: \_ -> s } Proxy where
   coerce
-    :: (forall sym1. IsSymbol sym1              => Proxy sym1 -> r)
+    :: (forall sym1. IsSymbol sym1              => proxy sym1 -> r)
     -> { reflectSymbol :: Proxy "" -> String } -> Proxy ""   -> r
   coerce = unsafeCoerce