diff --git a/Math/LinearMap/Category/Instances.hs b/Math/LinearMap/Category/Instances.hs
--- a/Math/LinearMap/Category/Instances.hs
+++ b/Math/LinearMap/Category/Instances.hs
@@ -108,6 +108,7 @@
                      -> LinearMap $ (applyLinear-+$>f)-+$>g }
 
 LinearScalarSpace(ℝ)
+LinearScalarSpace(Float)
 LinearScalarSpace(Rational)
 
 #define FreeLinearSpace(V, LV, tp, tenspl, tenid, dspan, contraction, contraaction)  \
diff --git a/linearmap-category.cabal b/linearmap-category.cabal
--- a/linearmap-category.cabal
+++ b/linearmap-category.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                linearmap-category
-version:             0.4.0.0
+version:             0.4.0.1
 synopsis:            Native, complete, matrix-free linear algebra.
 description:         The term /numerical linear algebra/ is often used almost
                      synonymous with /matrix modifications/. However, what's interesting
@@ -54,7 +54,7 @@
                        tagged,
                        free-vector-spaces >= 0.1.4 && < 0.2,
                        linear, lens, transformers,
-                       manifolds-core >= 0.5.0.4 && < 0.6,
+                       manifolds-core >= 0.5.1.0 && < 0.6,
                        semigroups,
                        ieee754 >= 0.7 && < 0.9,
                        call-stack,