diff --git a/semibounded-lattices.cabal b/semibounded-lattices.cabal
--- a/semibounded-lattices.cabal
+++ b/semibounded-lattices.cabal
@@ -1,5 +1,5 @@
 name:                semibounded-lattices
-version:             0.1.0.1
+version:             0.1.1.0
 synopsis:            A Haskell implementation of semibounded lattices
 description:         Please see README.md
 homepage:            https://github.com/xu-hao/semibounded-lattices#readme
@@ -17,7 +17,7 @@
   hs-source-dirs:      src
   exposed-modules:     Algebra.SemiBoundedLattice
   build-depends:       base >= 4 && < 5,
-                       lattices >= 1.4,
+                       lattices >= 1.4 && < 2,
                        containers >= 0.1
   default-language:    Haskell2010
 
diff --git a/src/Algebra/SemiBoundedLattice.hs b/src/Algebra/SemiBoundedLattice.hs
--- a/src/Algebra/SemiBoundedLattice.hs
+++ b/src/Algebra/SemiBoundedLattice.hs
@@ -13,7 +13,7 @@
 module Algebra.SemiBoundedLattice (
   Complemented (..), (/\\), (//\),
   DistributiveLattice, LowerBoundedLattice, UpperBoundedLattice, LowerBoundedDistributiveLattice, UpperBoundedDistributiveLattice, BooleanAlgebra (..),
-  HeytingAlgebra, CoHeytingAlgebra, SemiHeytingAlgebra (..), SemiCoHeytingAlgebra (..), BiHeytingAlgebra) where
+  HeytingAlgebra (..), CoHeytingAlgebra (..), SemiHeytingAlgebra (..), SemiCoHeytingAlgebra (..), BiHeytingAlgebra) where
 
 -- import Data.List (union, intersect, (\\))
 import Data.Set (union, intersection, (\\), Set)