diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.3.0.1
+
+- GHC 8.6 compatibility
+
 # 0.3.0.0
 
 - More new functions, thanks to isovector
diff --git a/first-class-families.cabal b/first-class-families.cabal
--- a/first-class-families.cabal
+++ b/first-class-families.cabal
@@ -1,5 +1,5 @@
 name:                first-class-families
-version:             0.3.0.0
+version:             0.3.0.1
 synopsis:
   First class type families
 description:
@@ -18,7 +18,7 @@
 extra-source-files:  README.md, CHANGELOG.md
 cabal-version:       >=1.10
 tested-with:
-  GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3
+  GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.3, GHC == 8.6.1
 
 library
   hs-source-dirs:      src
diff --git a/src/Fcf.hs b/src/Fcf.hs
--- a/src/Fcf.hs
+++ b/src/Fcf.hs
@@ -303,7 +303,7 @@
 type instance Eval ((-) a b) = a TL.- b
 
 data (*) :: Nat -> Nat -> Exp Nat
-type instance Eval ((*) a b) = a TL.* b
+type instance Eval ((Fcf.*) a b) = a TL.* b
 
 data (^) :: Nat -> Nat -> Exp Nat
 type instance Eval ((^) a b) = a TL.^ b