diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for ghc-justdoit
 
-## 0.1 -- YYYY-mm-dd
+## 0.1.0.1 -- 2018-10-11
+
+* Compatibility with ghc-8.6 as released
+
+## 0.1 -- 2018-02-02
 
 * First version. Released on an unsuspecting world.
diff --git a/GHC/LJT.hs b/GHC/LJT.hs
--- a/GHC/LJT.hs
+++ b/GHC/LJT.hs
@@ -18,6 +18,7 @@
 import BasicTypes
 import NameEnv
 import NameSet
+import Coercion
 
 import Data.List
 import Data.Hashable
@@ -207,6 +208,15 @@
         go (CoercionTy co)   = emptyNameEnv
         go_s = foldr (plusNameEnv . go) emptyNameEnv
 
+
+
+-- A copy from MkId.hs, no longer exported there :-(
+wrapNewTypeBody :: TyCon -> [Type] -> CoreExpr -> CoreExpr
+wrapNewTypeBody tycon args result_expr
+  = wrapFamInstBody tycon args $
+    mkCast result_expr (mkSymCo co)
+  where
+    co = mkUnbranchedAxInstCo Representational (newTyConCo tycon) args []
 
 -- Combinators to search for matching things
 
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -21,7 +21,7 @@
  * The LJT might not be complete, due to insufficient backtracking.
  * The implementation is very much unoptimized.
  * It returns one solution, but not necessary the “best” one. But what is the “best” one?
- * It ignores any recursive type, so it cannot do anything with lists. It would be much more useful if it could do some best-effort thing her as well.
+ * It ignores any recursive type, so it cannot do anything with lists. It would be much more useful if it could do some best-effort thing here as well.
 
 If someone wants to pick it up from here, that’d be great!
 
@@ -32,6 +32,7 @@
  * [Djinn](http://hackage.haskell.org/package/djinn) and [djinn-ghc](http://hackage.haskell.org/package/djinn-ghc)
  * [exference](http://hackage.haskell.org/package/exference)
  * [curryhoward](https://github.com/Chymyst/curryhoward) for Scala
+ * [hezarfen](https://github.com/joom/hezarfen) for Idris
 
 Contact
 -------
@@ -39,7 +40,7 @@
 Please reports bugs and missing features at the [GitHub bugtracker]. This is
 also where you can find the [source code].
 
-`bSpokeLight` was written by [Joachim Breitner] and is licensed under a
+`ghc-justdoit` was written by [Joachim Breitner] and is licensed under a
 permissive MIT [license].
 
 [GitHub bugtracker]: https://github.com/nomeata/ghc-justdoit/issues
diff --git a/ghc-justdoit.cabal b/ghc-justdoit.cabal
--- a/ghc-justdoit.cabal
+++ b/ghc-justdoit.cabal
@@ -1,5 +1,5 @@
 name:                ghc-justdoit
-version:             0.1
+version:             0.1.0.1
 synopsis:            A magic typeclass that just does it
 description:
     This plugin allows you to write
@@ -29,14 +29,14 @@
 build-type:          Simple
 extra-source-files:  ChangeLog.md, README.md
 cabal-version:       >=1.10
-tested-with:         GHC ==8.5.*
+tested-with:         GHC ==8.6.*, GHC ==8.7.*
 
 library
   exposed-modules:     GHC.LJT
   exposed-modules:     GHC.JustDoIt
   exposed-modules:     GHC.JustDoIt.Plugin
   exposed-modules:     GHC.JustDoIt.Solver
-  build-depends:       base >=4.11 && <4.12
+  build-depends:       base >=4.11 && <4.14
   build-depends:       hashable
   build-depends:       ghc >=8.5
   default-language:    Haskell2010