Recur through annotations.

Author: robrix

semantic-core/src/Data/Core.hs

@@ -197,7 +197,7 @@ annWith callStack = maybe id (fmap send . Ann) (stackLoc callStack)
 stripAnnotations :: (Member Core sig, Syntax sig) => Term sig a -> Term sig a
 stripAnnotations (Var v)  = Var v
 stripAnnotations (Term t)
-  | Just c <- prj t, Ann _ b <- c = b
+  | Just c <- prj t, Ann _ b <- c = stripAnnotations b
   | otherwise                     = Term (hmap stripAnnotations t)