Generalize stripAnnotations.

Author: robrix

semantic-core/src/Data/Core.hs

@@ -194,7 +194,7 @@ annWith :: (Carrier sig m, Member Core sig) => CallStack -> m a -> m a
 annWith callStack = maybe id (fmap send . Ann) (stackLoc callStack)
 
 
-stripAnnotations :: (Member Core sig, Syntax sig) => Term sig a -> Term sig a
+stripAnnotations :: (Member Core sig, HFunctor sig, forall g . Functor g => Functor (sig g)) => Term sig a -> Term sig a
 stripAnnotations (Var v)  = Var v
 stripAnnotations (Term t)
   | Just c <- prj t, Ann _ b <- c = stripAnnotations b