diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
 # 0.1.0.0
 
 Initial version.
+
+# 0.1.0.1
+
+* Extend support back to GHC 8.6.
diff --git a/src/Data/Ten/Representable.hs b/src/Data/Ten/Representable.hs
--- a/src/Data/Ten/Representable.hs
+++ b/src/Data/Ten/Representable.hs
@@ -104,16 +104,16 @@
 field10' f = rep10' (unAp10 . f)
 
 -- | Superclass appeasement; deriving via this will give infinite loops; don't!
-deriving via (f :: (k -> Type) -> Type)
-  instance Functor10 f => Functor10 (Wrapped1 Representable10 f)
+instance Functor10 f => Functor10 (Wrapped1 Representable10 f) where
+  fmap10 f (Wrapped1 fm) = Wrapped1 (fmap10 f fm)
 
 -- | Superclass appeasement; deriving via this will give infinite loops; don't!
-deriving via (f :: (k -> Type) -> Type)
-  instance Foldable10 f => Foldable10 (Wrapped1 Representable10 f)
+instance Foldable10 f => Foldable10 (Wrapped1 Representable10 f) where
+  foldMap10 f (Wrapped1 fm) = foldMap10 f fm
 
 -- | Superclass appeasement; deriving via this will give infinite loops; don't!
-deriving via (f :: (k -> Type) -> Type)
-  instance Traversable10 f => Traversable10 (Wrapped1 Representable10 f)
+instance Traversable10 f => Traversable10 (Wrapped1 Representable10 f) where
+  mapTraverse10 r f (Wrapped1 fm) = mapTraverse10 (r . Wrapped1) f fm
 
 type instance Index10 (Wrapped1 Representable10 f) = Rep10 f
 
diff --git a/ten.cabal b/ten.cabal
--- a/ten.cabal
+++ b/ten.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 420a8fd5dab8b49f35524f82502e9d7f80fabffd59b9a3c7d9cfbf5999c83618
+-- hash: 8dde7b739e237e35e07ff8612aa1e3385ab5ccdfce5e8e33b601dc6ee38cb5ed
 
 name:           ten
-version:        0.1.0.0
+version:        0.1.0.1
 synopsis:       Typeclasses like Functor, etc. over arity-1 type constructors.
 description:    This provides a mirror of the traditional typeclass hierarchy for types of
                 kind @(k -> Type) -> Type@, or functors from the category __Hask{k}__ to