diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,11 @@
+0.9.3
+-----
+* updated to `one-liner` 0.9
+
+0.9.2
+-----
+* use one-liner for the generic implementation of `unfold`
+
 0.9.1
 -----
 * added `Nth` unfolder
diff --git a/src/Data/Unfoldable.hs b/src/Data/Unfoldable.hs
--- a/src/Data/Unfoldable.hs
+++ b/src/Data/Unfoldable.hs
@@ -12,7 +12,7 @@
 -----------------------------------------------------------------------------
 {-# LANGUAGE CPP, Safe, TupleSections #-}
 #ifdef GENERICS
-{-# LANGUAGE TypeOperators, DefaultSignatures, FlexibleContexts #-}
+{-# LANGUAGE TypeOperators, DefaultSignatures, FlexibleContexts, TypeApplications #-}
 #endif
 module Data.Unfoldable
   (
@@ -93,7 +93,7 @@
 
 #ifdef GENERICS
   default unfold :: (ADT1 t, Constraints1 t Unfoldable, Unfolder f) => f a -> f (t a)
-  unfold = choose . getCompose . createA1 (For :: For Unfoldable) (Compose . return . unfold . foldr (<|>) empty . getCompose) . Compose . return
+  unfold = choose . getCompose . createA1 @Unfoldable (Compose . return . unfold . foldr (<|>) empty . getCompose) . Compose . return
 #endif
 
 -- | Unfold the structure, always using @()@ as elements.
diff --git a/unfoldable.cabal b/unfoldable.cabal
--- a/unfoldable.cabal
+++ b/unfoldable.cabal
@@ -1,5 +1,5 @@
 Name:                 unfoldable
-Version:              0.9.2
+Version:              0.9.3
 Synopsis:             Class of data structures that can be unfolded.
 Description:          Just as there's a Foldable class, there should also be an Unfoldable class.
                       .
@@ -46,7 +46,7 @@
     cpp-options:   -DGENERICS
     build-depends:
         ghc-prim     >= 0.2
-      , one-liner    >= 0.7 && < 0.8
+      , one-liner    >= 0.9 && < 0.10
 
   Other-extensions:
       GeneralizedNewtypeDeriving