diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+## 4.1.1
+* Support for GHC 7.10
+* Fixed `para`.
+
 ## 4.1
 * Support for GHC 7.7+'s generalized `Typeable`.
 * Faster `gapo` and `para` by exploiting sharing.
diff --git a/Data/Functor/Foldable.hs b/Data/Functor/Foldable.hs
--- a/Data/Functor/Foldable.hs
+++ b/Data/Functor/Foldable.hs
@@ -89,7 +89,10 @@
 #else
 import qualified Data.Data as Data
 #endif
+#if MIN_VERSION_base(4,8,0)
+import Prelude hiding (Foldable)
 #endif
+#endif
 
 type family Base t :: * -> *
 
@@ -106,7 +109,7 @@
   cata f = c where c = f . fmap c . project
 
   para :: (Base t (t, a) -> a) -> t -> a
-  para t = p where p x = t . fmap (((,) x) . p) $ project x
+  para t = p where p x = t . fmap ((,) <*> p) $ project x
 
   gpara :: (Unfoldable t, Comonad w) => (forall b. Base t (w b) -> w (Base t b)) -> (Base t (EnvT t w a) -> a) -> t -> a
   gpara t = gzygo embed t
diff --git a/recursion-schemes.cabal b/recursion-schemes.cabal
--- a/recursion-schemes.cabal
+++ b/recursion-schemes.cabal
@@ -1,6 +1,6 @@
 name:          recursion-schemes
 category:      Control, Recursion
-version:       4.1
+version:       4.1.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE