diff --git a/.eslintrc.json b/.eslintrc.json
new file mode 100644
index 0000000..84cef4f
--- /dev/null
+++ b/.eslintrc.json
@@ -0,0 +1,28 @@
+{
+  "parserOptions": {
+    "ecmaVersion": 5
+  },
+  "extends": "eslint:recommended",
+  "env": {
+    "commonjs": true
+  },
+  "rules": {
+    "strict": [2, "global"],
+    "block-scoped-var": 2,
+    "consistent-return": 2,
+    "eqeqeq": [2, "smart"],
+    "guard-for-in": 2,
+    "no-caller": 2,
+    "no-extend-native": 2,
+    "no-loop-func": 2,
+    "no-new": 2,
+    "no-param-reassign": 2,
+    "no-return-assign": 2,
+    "no-unused-expressions": 2,
+    "no-use-before-define": 2,
+    "radix": [2, "always"],
+    "indent": [2, 2],
+    "quotes": [2, "double"],
+    "semi": [2, "always"]
+  }
+}
diff --git a/.gitignore b/.gitignore
index e306283..7050558 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,6 @@
 /.*
 !/.gitignore
-!/.jscsrc
-!/.jshintrc
+!/.eslintrc.json
 !/.travis.yml
 /bower_components/
 /node_modules/
diff --git a/.jscsrc b/.jscsrc
deleted file mode 100644
index 2561ce9..0000000
--- a/.jscsrc
+++ /dev/null
@@ -1,17 +0,0 @@
-{
-  "preset": "grunt",
-  "disallowSpacesInFunctionExpression": null,
-  "requireSpacesInFunctionExpression": {
-    "beforeOpeningRoundBrace": true,
-    "beforeOpeningCurlyBrace": true
-  },
-  "disallowSpacesInAnonymousFunctionExpression": null,
-  "requireSpacesInAnonymousFunctionExpression": {
-    "beforeOpeningRoundBrace": true,
-    "beforeOpeningCurlyBrace": true
-  },
-  "disallowSpacesInsideObjectBrackets": null,
-  "requireSpacesInsideObjectBrackets": "all",
-  "validateQuoteMarks": "\"",
-  "requireCurlyBraces": null
-}
diff --git a/.jshintrc b/.jshintrc
deleted file mode 100644
index 620d8d7..0000000
--- a/.jshintrc
+++ /dev/null
@@ -1,20 +0,0 @@
-{
-  "bitwise": true,
-  "eqeqeq": true,
-  "forin": true,
-  "freeze": true,
-  "funcscope": true,
-  "futurehostile": true,
-  "strict": "global",
-  "latedef": true,
-  "maxparams": 1,
-  "noarg": true,
-  "nocomma": true,
-  "nonew": true,
-  "notypeof": true,
-  "singleGroups": true,
-  "undef": true,
-  "unused": true,
-  "eqnull": true,
-  "predef": ["exports"]
-}
diff --git a/.travis.yml b/.travis.yml
index f9843c2..27b95cd 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,7 +1,7 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 6
+node_js: stable
 env:
   - PATH=$HOME/purescript:$PATH
 install:
diff --git a/bower.json b/bower.json
index dab9f5e..a4b8090 100644
--- a/bower.json
+++ b/bower.json
@@ -17,6 +17,6 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-eff": "^2.0.0"
+    "purescript-eff": "^3.0.0"
   }
 }
diff --git a/package.json b/package.json
index b4cf24e..26d81a7 100644
--- a/package.json
+++ b/package.json
@@ -2,13 +2,12 @@
   "private": true,
   "scripts": {
     "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "jshint src && jscs src && pulp build --censor-lib --strict"
+    "build": "eslint src && pulp build -- --censor-lib --strict"
   },
   "devDependencies": {
-    "jscs": "^2.8.0",
-    "jshint": "^2.9.1",
-    "pulp": "^9.0.1",
-    "purescript-psa": "^0.3.9",
-    "rimraf": "^2.5.0"
+    "eslint": "^3.17.1",
+    "pulp": "^10.0.4",
+    "purescript-psa": "^0.5.0-rc.1",
+    "rimraf": "^2.6.1"
   }
 }
diff --git a/src/Control/Monad/Eff/Ref.purs b/src/Control/Monad/Eff/Ref.purs
index bc193ea..09a4ae6 100644
--- a/src/Control/Monad/Eff/Ref.purs
+++ b/src/Control/Monad/Eff/Ref.purs
@@ -7,14 +7,14 @@
 module Control.Monad.Eff.Ref where
 
 import Prelude (Unit, unit)
-import Control.Monad.Eff (Eff)
+import Control.Monad.Eff (Eff, kind Effect)
 
 -- | The effect associated with the use of global mutable variables.
-foreign import data REF :: !
+foreign import data REF :: Effect
 
 -- | A value of type `Ref a` represents a mutable reference
 -- | which holds a value of type `a`.
-foreign import data Ref :: * -> *
+foreign import data Ref :: Type -> Type
 
 -- | Create a new mutable reference containing the specified value.
 foreign import newRef :: forall s r. s -> Eff (ref :: REF | r) (Ref s)