diff --git a/src/Diff.hs b/src/Diff.hs
index 3e3132ca7..c90270211 100644
--- a/src/Diff.hs
+++ b/src/Diff.hs
@@ -149,6 +149,9 @@ deleting = cata (Diff . Patch . Delete)
 copy :: Both ann -> syntax (Diff syntax ann) -> Diff syntax ann
 copy = (Diff .) . (Copy [] .) . (:<)
 
+var :: Metavar -> Diff syntax ann
+var = Diff . Var
+
 
 instance Pretty Metavar where
   pretty (Metavar v) = pretty v