diff --git a/.travis.yml b/.travis.yml
index 7f150a3..d980b08 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -2,14 +2,20 @@ language: node_js
 dist: trusty
 sudo: required
 node_js: stable
+env:
+  - PATH=$HOME/purescript:$PATH
 install:
+  - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
+  - wget -O $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
   - npm install -g bower
   - npm install
-  - bower install --production
 script:
+  - bower install --production
   - npm run -s build
   - bower install
-  - npm -s test
+  - npm run -s test
 after_success:
 - >-
   test $TRAVIS_TAG &&
diff --git a/bower.json b/bower.json
index 19caf12..35fecdb 100644
--- a/bower.json
+++ b/bower.json
@@ -17,7 +17,7 @@
     "bower.json"
   ],
   "devDependencies": {
-    "purescript-console": "^3.0.0",
-    "purescript-exceptions": "^3.0.0"
+    "purescript-console": "^4.0.0",
+    "purescript-exceptions": "^4.0.0"
   }
 }
diff --git a/package.json b/package.json
index 5a71519..6615039 100644
--- a/package.json
+++ b/package.json
@@ -6,10 +6,9 @@
     "test": "pulp test"
   },
   "devDependencies": {
-    "eslint": "^3.19.0",
-    "pulp": "^11.0.0",
-    "purescript-psa": "^0.5.0",
-    "purescript": "^0.11.1",
-    "rimraf": "^2.6.1"
+    "eslint": "^4.19.1",
+    "pulp": "^12.2.0",
+    "purescript-psa": "^0.6.0",
+    "rimraf": "^2.6.2"
   }
 }
diff --git a/test/Main.purs b/test/Main.purs
index 2271dd5..0ceb9c0 100644
--- a/test/Main.purs
+++ b/test/Main.purs
@@ -2,8 +2,8 @@ module Test.Main where
 
 import Prelude
 
-import Control.Monad.Eff (Eff)
-import Control.Monad.Eff.Exception (EXCEPTION, throwException, error)
+import Effect (Effect)
+import Effect.Exception (throwException, error)
 
 import Unsafe.Reference (unsafeRefEq, reallyUnsafeRefEq)
 
@@ -13,11 +13,11 @@ data Bar = Bar String
 newtype Foo' = Foo' String
 newtype Bar' = Bar' String
 
-assert :: forall eff. Boolean -> String -> Eff (exception :: EXCEPTION | eff) Unit
+assert :: Boolean -> String -> Effect Unit
 assert true _ = pure unit
 assert _ desc = throwException (error desc)
 
-main :: Eff (exception :: EXCEPTION) Unit
+main :: Effect Unit
 main = do
   let
     foo1 = Foo  "foo"