diff --git a/.travis.yml b/.travis.yml
index 8daa38c1..116705f7 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,7 +5,8 @@ node_js: stable
 env:
   - PATH=$HOME/purescript:$PATH
 install:
-  - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
+  # - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
+  - TAG=v0.14.0-rc3
   - curl --location --output $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
   - tar -xvf $HOME/purescript.tar.gz -C $HOME/
   - chmod a+x $HOME/purescript
diff --git a/bower.json b/bower.json
index 4012cee2..a401d7db 100644
--- a/bower.json
+++ b/bower.json
@@ -23,23 +23,23 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-control": "^4.0.0",
-    "purescript-distributive": "^4.0.0",
-    "purescript-effect": "^2.0.0",
-    "purescript-exceptions": "^4.0.0",
-    "purescript-either": "^4.0.0",
-    "purescript-foldable-traversable": "^4.0.0",
-    "purescript-identity": "^4.0.0",
-    "purescript-lazy": "^4.0.0",
-    "purescript-maybe": "^4.0.0",
-    "purescript-newtype": "^3.0.0",
-    "purescript-prelude": "^4.0.0",
-    "purescript-tailrec": "^4.0.0",
-    "purescript-tuples": "^5.0.0",
-    "purescript-unfoldable": "^4.0.0"
+    "purescript-control": "master",
+    "purescript-distributive": "master",
+    "purescript-effect": "master",
+    "purescript-exceptions": "master",
+    "purescript-either": "master",
+    "purescript-foldable-traversable": "master",
+    "purescript-identity": "master",
+    "purescript-lazy": "master",
+    "purescript-maybe": "master",
+    "purescript-newtype": "master",
+    "purescript-prelude": "master",
+    "purescript-tailrec": "master",
+    "purescript-tuples": "master",
+    "purescript-unfoldable": "master"
   },
   "devDependencies": {
-    "purescript-arrays": "^5.0.0",
-    "purescript-console": "^4.0.0"
+    "purescript-arrays": "master",
+    "purescript-console": "master"
   }
 }
diff --git a/package.json b/package.json
index d408361d..1fac8744 100644
--- a/package.json
+++ b/package.json
@@ -7,7 +7,7 @@
   },
   "devDependencies": {
     "pulp": "^15.0.0",
-    "purescript-psa": "^0.6.0",
+    "purescript-psa": "^0.8.0",
     "rimraf": "^2.6.2"
   }
 }
diff --git a/src/Control/Comonad/Env/Trans.purs b/src/Control/Comonad/Env/Trans.purs
index e4040464..2f8b2c6a 100644
--- a/src/Control/Comonad/Env/Trans.purs
+++ b/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.
diff --git a/src/Control/Monad/Cont/Trans.purs b/src/Control/Monad/Cont/Trans.purs
index cfa3d2cc..dfb0f405 100644
--- a/src/Control/Monad/Cont/Trans.purs
+++ b/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
-
diff --git a/src/Control/Monad/Identity/Trans.purs b/src/Control/Monad/Identity/Trans.purs
index b378e9cc..21adcedc 100644
--- a/src/Control/Monad/Identity/Trans.purs
+++ b/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.
diff --git a/src/Control/Monad/Reader/Trans.purs b/src/Control/Monad/Reader/Trans.purs
index 66fd6b3e..483ba282 100644
--- a/src/Control/Monad/Reader/Trans.purs
+++ b/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.