diff --git a/Data/Type/Monomorphic.hs b/Data/Type/Monomorphic.hs
--- a/Data/Type/Monomorphic.hs
+++ b/Data/Type/Monomorphic.hs
@@ -42,7 +42,7 @@
 -- | Flipped version of 'withPolymorhic'.
 liftPoly :: Monomorphicable k
          => (forall a. k a -> b) -> MonomorphicRep k -> b
-liftPoly = flip withPolymorhic
+liftPoly f m = withPolymorhic m f
 
 -- | Demote the function between polymorphic types into the one between monomorphic one.
 viaPoly :: (Monomorphicable k, Monomorphicable k')
diff --git a/monomorphic.cabal b/monomorphic.cabal
--- a/monomorphic.cabal
+++ b/monomorphic.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                monomorphic
-version:             0.0.3.2
+version:             0.0.3.3
 synopsis:            Library to convert polymorphic datatypes to/from its monomorphic represetation
 description:         This library provides the type-class and functions to convert between polymorphic data-types and its monomorphic representation type, such as length-indexed vectors, singletons for type-level natural numbers, etc.
 homepage:            https://github.com/konn/monomorphic