diff --git a/algebraic-prelude.cabal b/algebraic-prelude.cabal
--- a/algebraic-prelude.cabal
+++ b/algebraic-prelude.cabal
@@ -1,42 +1,45 @@
-name:                algebraic-prelude
-version:             0.1.0.0
-synopsis:            Algebraically structured Prelude
-description:         This package provides a drop-in replacement for Prelude module,
-                     based on algebraic hierarchy provided by <https://hackage.haskell.org/package/algebra algebra> package.
-homepage:            https://github.com/konn/algebraic-prelude#readme
-license:             BSD3
-license-file:        LICENSE
-author:              Hiromi ISHII
-maintainer:          konn.jinro _at_ gmail.com
-copyright:           2015 (c) Hiromi ISHII
-category:            Web
-build-type:          Simple
--- extra-source-files:
-cabal-version:       >=1.10
+name: algebraic-prelude
+version: 0.1.0.1
+cabal-version: >=1.10
+build-type: Simple
+license: BSD3
+license-file: LICENSE
+copyright: 2015 (c) Hiromi ISHII
+maintainer: konn.jinro _at_ gmail.com
+homepage: https://github.com/konn/algebraic-prelude#readme
+synopsis: Algebraically structured Prelude
+description:
+    This package provides a drop-in replacement for Prelude module,
+    based on algebraic hierarchy provided by <https://hackage.haskell.org/package/algebra algebra> package.
+category: Web
+author: Hiromi ISHII
 
+source-repository head
+    type: git
+    location: https://github.com/konn/computational-algebra
+
 library
-  hs-source-dirs:      src
-  exposed-modules:     AlgebraicPrelude
-  build-depends:       base    >= 4.7 && < 5
-                     , algebra >= 4.3
-                     , basic-prelude
-                     , lens    == 4.*
-                     , semigroups
-  default-language:    Haskell2010
-  default-extensions:  NoImplicitPrelude
-  ghc-options:         -Wall
-  
+    exposed-modules:
+        AlgebraicPrelude
+    build-depends:
+        base >=4.7 && <5,
+        algebra ==4.3.*,
+        basic-prelude >=0.6.1 && <0.7,
+        lens ==4.*,
+        semigroups >=0.18.2 && <0.19
+    default-language: Haskell2010
+    default-extensions: NoImplicitPrelude
+    hs-source-dirs: src
+    ghc-options: -Wall
 
 executable sandpit
-  hs-source-dirs:      examples
-  Main-is:             sandpit.hs
-  build-depends:       base
-                     , algebraic-prelude
-  default-language:    Haskell2010
-  ghc-options:         -Wall
-  default-extensions:  NoImplicitPrelude
-  buildable:           False
+    main-is: sandpit.hs
+    buildable: False
+    build-depends:
+        base >=4.9.0.0 && <4.10,
+        algebraic-prelude >=0.1.0.1 && <0.2
+    default-language: Haskell2010
+    default-extensions: NoImplicitPrelude
+    hs-source-dirs: examples
+    ghc-options: -Wall
 
-source-repository head
-  type:     git
-  location: https://github.com/konn/computational-algebra