diff --git a/.travis.yml b/.travis.yml
index 7399e47..d79859a 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 80bb471..f363c5b 100644
--- a/bower.json
+++ b/bower.json
@@ -21,14 +21,14 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-contravariant": "^4.0.0",
-    "purescript-control": "^4.0.0",
-    "purescript-distributive": "^4.0.0",
-    "purescript-either": "^4.0.0",
-    "purescript-exists": "^4.0.0",
-    "purescript-invariant": "^4.0.0",
-    "purescript-newtype": "^3.0.0",
-    "purescript-prelude": "^4.0.0",
-    "purescript-tuples": "^5.0.0"
+    "purescript-contravariant": "master",
+    "purescript-control": "master",
+    "purescript-distributive": "master",
+    "purescript-either": "master",
+    "purescript-exists": "master",
+    "purescript-invariant": "master",
+    "purescript-newtype": "master",
+    "purescript-prelude": "master",
+    "purescript-tuples": "master"
   }
 }
diff --git a/package.json b/package.json
index d34ea78..b8d0c47 100644
--- a/package.json
+++ b/package.json
@@ -6,7 +6,7 @@
   },
   "devDependencies": {
     "pulp": "^15.0.0",
-    "purescript-psa": "^0.6.0",
+    "purescript-psa": "^0.8.0",
     "rimraf": "^2.6.2"
   }
 }
diff --git a/src/Data/Profunctor/Clown.purs b/src/Data/Profunctor/Clown.purs
index e6544e7..957bbe2 100644
--- a/src/Data/Profunctor/Clown.purs
+++ b/src/Data/Profunctor/Clown.purs
@@ -7,6 +7,7 @@ import Data.Newtype (class Newtype)
 import Data.Functor.Contravariant (class Contravariant, cmap)
 
 -- | Makes a trivial `Profunctor` for a `Contravariant` functor.
+newtype Clown :: forall k1 k2. (k1 -> Type) -> k1 -> k2 -> Type
 newtype Clown f a b = Clown (f a)
 
 derive instance newtypeClown :: Newtype (Clown f a b) _
diff --git a/src/Data/Profunctor/Costar.purs b/src/Data/Profunctor/Costar.purs
index b4a2352..ab3275b 100644
--- a/src/Data/Profunctor/Costar.purs
+++ b/src/Data/Profunctor/Costar.purs
@@ -19,6 +19,7 @@ import Data.Tuple (Tuple(..), fst, snd)
 -- | `Costar` turns a `Functor` into a `Profunctor` "backwards".
 -- |
 -- | `Costar f` is also the co-Kleisli category for `f`.
+newtype Costar :: forall k. (k -> Type) -> k -> Type -> Type
 newtype Costar f b a = Costar (f b -> a)
 
 derive instance newtypeCostar :: Newtype (Costar f a b) _
diff --git a/src/Data/Profunctor/Cowrap.purs b/src/Data/Profunctor/Cowrap.purs
index 0834fa8..89f0bf3 100644
--- a/src/Data/Profunctor/Cowrap.purs
+++ b/src/Data/Profunctor/Cowrap.purs
@@ -7,6 +7,7 @@ import Data.Functor.Contravariant (class Contravariant)
 import Data.Profunctor (class Profunctor, lcmap)
 
 -- | Provides a `Contravariant` over the first argument of a `Profunctor`.
+newtype Cowrap :: forall k1 k2. (k1 -> k2 -> Type) -> k2 -> k1 -> Type
 newtype Cowrap p b a = Cowrap (p a b)
 
 derive instance newtypeCowrap :: Newtype (Cowrap p b a) _
diff --git a/src/Data/Profunctor/Join.purs b/src/Data/Profunctor/Join.purs
index 56d3acb..e5a047c 100644
--- a/src/Data/Profunctor/Join.purs
+++ b/src/Data/Profunctor/Join.purs
@@ -8,6 +8,7 @@ import Data.Profunctor (class Profunctor, dimap)
 
 -- | Turns a `Profunctor` into a `Invariant` functor by equating the two type
 -- | arguments.
+newtype Join :: forall k. (k -> k -> Type) -> k -> Type
 newtype Join p a = Join (p a a)
 
 derive instance newtypeJoin :: Newtype (Join p a) _
diff --git a/src/Data/Profunctor/Joker.purs b/src/Data/Profunctor/Joker.purs
index d6663a9..b06e9ac 100644
--- a/src/Data/Profunctor/Joker.purs
+++ b/src/Data/Profunctor/Joker.purs
@@ -8,6 +8,7 @@ import Data.Profunctor (class Profunctor)
 import Data.Profunctor.Choice (class Choice)
 
 -- | Makes a trivial `Profunctor` for a covariant `Functor`.
+newtype Joker :: forall k1 k2. (k1 -> Type) -> k2 -> k1 -> Type
 newtype Joker f a b = Joker (f b)
 
 derive instance newtypeJoker :: Newtype (Joker f a b) _
diff --git a/src/Data/Profunctor/Star.purs b/src/Data/Profunctor/Star.purs
index b521ef7..966c03c 100644
--- a/src/Data/Profunctor/Star.purs
+++ b/src/Data/Profunctor/Star.purs
@@ -21,6 +21,7 @@ import Data.Tuple (Tuple(..))
 -- | `Star` turns a `Functor` into a `Profunctor`.
 -- |
 -- | `Star f` is also the Kleisli category for `f`
+newtype Star :: forall k. (k -> Type) -> Type -> k -> Type
 newtype Star f a b = Star (a -> f b)
 
 derive instance newtypeStar :: Newtype (Star f a b) _
diff --git a/src/Data/Profunctor/Wrap.purs b/src/Data/Profunctor/Wrap.purs
index 64e8e91..e5972fb 100644
--- a/src/Data/Profunctor/Wrap.purs
+++ b/src/Data/Profunctor/Wrap.purs
@@ -6,6 +6,7 @@ import Data.Newtype (class Newtype)
 import Data.Profunctor (class Profunctor, rmap)
 
 -- | Provides a `Functor` over the second argument of a `Profunctor`.
+newtype Wrap :: forall k1 k2. (k1 -> k2 -> Type) -> k1 -> k2 -> Type
 newtype Wrap p a b = Wrap (p a b)
 
 derive instance newtypeWrap :: Newtype (Wrap p a b) _