Drop unnecessary var from type synonyms

Author: garyb

README.md

@@ -255,7 +255,7 @@
 
 ### Types
 
-    type Reader r a = ReaderT r Identity a
+    type Reader r = ReaderT r Identity
 
 
 ### Values
@@ -340,7 +340,7 @@
 
 ### Types
 
-    type State s a = StateT s Identity a
+    type State s = StateT s Identity
 
 
 ### Values
@@ -480,7 +480,7 @@
 
 ### Types
 
-    type Writer w a = WriterT w Identity a
+    type Writer w = WriterT w Identity
 
 
 ### Values

src/Control/Monad/Reader.purs

@@ -4,7 +4,7 @@ import Prelude
 import Control.Monad.Identity
 import Control.Monad.Reader.Trans
 
-type Reader r a = ReaderT r Identity a
+type Reader r = ReaderT r Identity
 
 runReader :: forall r a. Reader r a -> r -> a
 runReader m = runIdentity <<< runReaderT m

src/Control/Monad/State.purs

@@ -5,7 +5,7 @@ import Control.Monad.Identity
 import Control.Monad.State.Trans
 import Data.Tuple
 
-type State s a = StateT s Identity a
+type State s = StateT s Identity
 
 runState :: forall s a. State s a -> s -> Tuple a s
 runState s = runIdentity <<< runStateT s

src/Control/Monad/Writer.purs

@@ -6,7 +6,7 @@ import Control.Monad.Writer.Trans
 import Data.Monoid
 import Data.Tuple
 
-type Writer w a = WriterT w Identity a
+type Writer w = WriterT w Identity
 
 runWriter :: forall w a. Writer w a -> Tuple a w
 runWriter = runIdentity <<< runWriterT