diff --git a/Data/Random/Manifold.hs b/Data/Random/Manifold.hs
--- a/Data/Random/Manifold.hs
+++ b/Data/Random/Manifold.hs
@@ -69,8 +69,8 @@
       domainSpls <- replicateM n $ rvarT shx
       pts <- forM domainSpls $ \x -> do
          y <- rvarT $ f x
-         return (WithAny y x)
-      let t₀ = fromLeafPoints pts
+         return (x,y)
+      let t₀ = fromLeafPoints_ pts
           ntwigs = length $ twigsWithEnvirons t₀
           nPerTwig = fromIntegral n / fromIntegral ntwigs
           ensureThickness :: Shade' (x,y)
@@ -90,7 +90,8 @@
                        mkControlSample ((x,y):css)
                          $ confidence + occlusion shl (x,y)
              css <- mkControlSample [] 0
-             let [Shade (xCtrl,yCtrl) expaCtrl :: Shade (x,y)]
+             let xCtrl :: x
+                 [Shade (xCtrl,yCtrl) expaCtrl :: Shade (x,y)]
                        = pointsShades . catMaybes $ toInterior<$>css
                  yCtrl :: Interior y
                  expayCtrl = dualNorm . snd $ summandSpaceNorms expaCtrl
diff --git a/manifold-random.cabal b/manifold-random.cabal
--- a/manifold-random.cabal
+++ b/manifold-random.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                manifold-random
-version:             0.4.1.0
+version:             0.4.4.0
 synopsis:            Sampling random points on general manifolds.
 -- description:         
 homepage:            https://github.com/leftaroundabout/manifolds
@@ -26,7 +26,7 @@
   -- other-extensions:    
   build-depends:       base >=4.7 && <5
                        , random-fu >=0.2 && <0.3
-                       , manifolds == 0.4.1.0
+                       , manifolds == 0.4.4.0
                        , constrained-categories
                        , semigroups
                        , vector-space