Use type (~>)

Author: no-longer-on-githu-b

src/Control/Monad/IO/Class.purs

@@ -4,7 +4,7 @@ import Control.Monad.IO (IO)
 import Prelude
 
 class (Monad m) <= MonadIO m where
-  liftIO :: ∀ a. IO a -> m a
+  liftIO :: IO ~> m
 
 instance monadIOIO :: MonadIO IO where
   liftIO = id

src/Control/Monad/IOSync/Class.purs

@@ -7,7 +7,7 @@ import Data.Newtype (unwrap, wrap)
 import Prelude
 
 class (Monad m) <= MonadIOSync m where
-  liftIOSync :: ∀ a. IOSync a -> m a
+  liftIOSync :: IOSync ~> m
 
 instance monadIOSyncIOSync :: MonadIOSync IOSync where
   liftIOSync = id