diff --git a/plugins-multistage.cabal b/plugins-multistage.cabal
--- a/plugins-multistage.cabal
+++ b/plugins-multistage.cabal
@@ -1,5 +1,5 @@
 name:           plugins-multistage
-version:        0.5
+version:        0.5.1
 synopsis:       Dynamic linking for embedded DSLs with staged compilation
 description:    Dynamic compilation, linking and loading of functions in
                 staged languages.
diff --git a/src/System/Plugins/MultiStage.hs b/src/System/Plugins/MultiStage.hs
--- a/src/System/Plugins/MultiStage.hs
+++ b/src/System/Plugins/MultiStage.hs
@@ -168,7 +168,7 @@
     up t@(AppT (ConT fam) t1) = do
       info <- reify fam
       case info of
-        FamilyI{} -> do
+        FamilyI (FamilyD TypeFam _ _ _) _ -> do
           is <- reifyInstances fam [t1]
           case mapMaybe projInst is of
             [(p1,pt2)]