Fix compiler warnings by adding kind annotations

src/Control/Comonad/Env/Trans.purs

@@ -18,6 +18,7 @@ import Data.Newtype (class Newtype)
 -- | type `e`.
 -- |
 -- | The `ComonadEnv` type class describes the operations supported by this comonad.
+newtype EnvT :: forall k. Type -> (k -> Type) -> k -> Type
 newtype EnvT e w a = EnvT (Tuple e (w a))
 
 -- | Unwrap a value in the `EnvT` comonad.

src/Control/Monad/Cont/Trans.purs

@@ -19,6 +19,7 @@ import Effect.Class (class MonadEffect, liftEffect)
 -- | The CPS monad transformer.
 -- |
 -- | This monad transformer extends the base monad with the operation `callCC`.
+newtype ContT :: forall k. k -> (k -> Type) -> Type -> Type
 newtype ContT r m a = ContT ((a -> m r) -> m r)
 
 -- | Run a computation in the `ContT` monad, by providing a continuation.
@@ -74,4 +75,3 @@ instance semigroupContT :: (Apply m, Semigroup a) => Semigroup (ContT r m a) whe
 
 instance monoidContT :: (Applicative m, Monoid a) => Monoid (ContT r m a) where
   mempty = pure mempty
-

src/Control/Monad/Identity/Trans.purs

@@ -26,6 +26,7 @@ import Effect.Class (class MonadEffect)
 -- | This monad acts like a placeholder for functions that take a monad
 -- | transformer as an argument, similar to `identity` for functions and
 -- | `Identity` for monads.
+newtype IdentityT :: forall k. (k -> Type) -> k -> Type
 newtype IdentityT m a = IdentityT (m a)
 
 -- | Run a computation in the `IdentityT` monad.

src/Control/Monad/Reader/Trans.purs

@@ -31,6 +31,7 @@ import Effect.Class (class MonadEffect, liftEffect)
 -- | type `r`.
 -- |
 -- | The `MonadReader` type class describes the operations supported by this monad.
+newtype ReaderT :: forall k. Type -> (k -> Type) -> k -> Type
 newtype ReaderT r m a = ReaderT (r -> m a)
 
 -- | Run a computation in the `ReaderT` monad.