diff --git a/Annotations.cabal b/Annotations.cabal
--- a/Annotations.cabal
+++ b/Annotations.cabal
@@ -1,5 +1,5 @@
 Name:           Annotations
-Version:        0.1.3
+Version:        0.2
 Synopsis:       Constructing, analyzing and destructing annotated trees
 Description:
   @Annotations@ provides utility functions to make working with annotated trees easier. There are two implementations: one for working with open datatypes that explicitly make their child positions accessible through a type argument, and one for working with MultiRec datatypes.
@@ -19,8 +19,8 @@
 Build-type:     Simple
 
 Library
-  Build-Depends:    base >= 4.1 && < 4.4, mtl >= 1.1 && < 2.1,
-                    parsec >= 3.0 && < 3.2, multirec >= 0.4 && < 0.6
+  Build-Depends:    base >= 4.1 && < 4.6, mtl >= 1.1 && < 2.1,
+                    parsec >= 3.0 && < 3.2, multirec >= 0.4 && < 0.8
   Exposed-Modules:  Annotations.Bounds,
                     Annotations.BoundsParser,
                     Annotations.Except,
diff --git a/Annotations/MultiRec/Zipper.hs b/Annotations/MultiRec/Zipper.hs
--- a/Annotations/MultiRec/Zipper.hs
+++ b/Annotations/MultiRec/Zipper.hs
@@ -7,6 +7,7 @@
 {-# LANGUAGE TypeFamilies          #-}
 {-# LANGUAGE TypeOperators         #-}
 {-# LANGUAGE ScopedTypeVariables   #-}
+{-# LANGUAGE EmptyDataDecls        #-}
 
 -----------------------------------------------------------------------------
 -- |
@@ -66,7 +67,7 @@
 -- | Abstract type of context frames. Not required for the high-level
 -- navigation functions.
 
-data family Ctx f :: * -> (* -> *) -> * -> *
+data family Ctx (f :: (* -> *) -> * -> *) :: * -> (* -> *) -> * -> *
 
 data instance Ctx (K a) b r ix
 data instance Ctx U b r ix