Fix overly-applied synonyms

src/Control/Comonad/Store.purs

@@ -19,7 +19,7 @@ import Data.Tuple (Tuple(..), swap)
 
 -- | The `Store` comonad is a synonym for the `StoreT` comonad transformer, applied
 -- | to the `Identity` monad.
-type Store s a = StoreT s Identity a
+type Store s = StoreT s Identity
 
 -- | Unwrap a value in the `Store` comonad.
 runStore :: forall s a. Store s a -> Tuple (s -> a) s

src/Control/Monad/Cont.purs

@@ -18,7 +18,7 @@ import Data.Newtype (unwrap)
 
 -- | The `Cont` monad is a synonym for the `ContT` monad transformer applied to
 -- | the `Identity` monad.
-type Cont r a = ContT r Identity a
+type Cont r = ContT r Identity
 
 -- | Creates a computation in the `Cont` monad.
 cont :: forall a r. ((a -> r) -> r) -> Cont r a

src/Control/Monad/Except.purs

@@ -32,7 +32,7 @@ import Data.Newtype (unwrap)
 -- | further and adds the possibility of a computation failing with an 'empty'
 -- | exception; naturally, this requires the stronger constraint of a `Monoid`
 -- | instance for the exception type.
-type Except e a = ExceptT e Identity a
+type Except e = ExceptT e Identity
 
 -- | Run a computation in the `Except` monad. The inverse of `except`.
 runExcept :: forall e a. Except e a -> Either e a