diff --git a/Data/Type/Natural.hs b/Data/Type/Natural.hs
--- a/Data/Type/Natural.hs
+++ b/Data/Type/Natural.hs
@@ -17,7 +17,7 @@
                     , (:+:), (:+), (%+), (%:+), (:*:), (:*), (%:*), (%*)
                     , (:-:), (:-), (%:-), (%-)
                     -- ** Type-level predicate & judgements
-                    , Leq(..), (:<=), (:<<=), (%:<<=), LeqInstance, leqRefl, leqSucc
+                    , Leq(..), (:<=), (:<<=), (%:<<=), LeqInstance(..), leqRefl, leqSucc
                     , boolToPropLeq, boolToClassLeq, propToClassLeq
                     , LeqTrueInstance(..), propToBoolLeq
                     -- * Conversion functions
diff --git a/type-natural.cabal b/type-natural.cabal
--- a/type-natural.cabal
+++ b/type-natural.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                type-natural
-version:             0.0.2.0
+version:             0.0.2.1
 synopsis:            Type-level natural and proofs of their properties.
 description:         Type-level natural numbers and proofs of their properties.
 homepage:            https://github.com/konn/type-natural