diff --git a/Data/Category/Limit.hs b/Data/Category/Limit.hs
--- a/Data/Category/Limit.hs
+++ b/Data/Category/Limit.hs
@@ -9,7 +9,6 @@
   TypeFamilies,
   TypeSynonymInstances,
   UndecidableInstances,
-  LambdaCase,
   NoImplicitPrelude  #-}
 -----------------------------------------------------------------------------
 -- |
diff --git a/data-category.cabal b/data-category.cabal
--- a/data-category.cabal
+++ b/data-category.cabal
@@ -1,5 +1,5 @@
 name:                data-category
-version:             0.5.1.0
+version:             0.5.1.1
 synopsis:            Category theory
 
 description:         Data-category is a collection of categories, and some categorical constructions on them.
