diff --git a/lib/Quox/Syntax/Term/Pretty.idr b/lib/Quox/Syntax/Term/Pretty.idr
index e34a1c3..5d8e538 100644
--- a/lib/Quox/Syntax/Term/Pretty.idr
+++ b/lib/Quox/Syntax/Term/Pretty.idr
@@ -110,7 +110,8 @@ mutual
       let GotPairs {init, last, _} = getPairs t in
       prettyTuple $ s :: init ++ [last]
     prettyM (Enum tags) =
-      pure $ braces . aseparate comma $ map prettyTag $ Prelude.toList tags
+      pure $ delims "`{" "}" . aseparate comma $ map prettyTag $
+        Prelude.toList tags
     prettyM (Tag t) =
       pure $ prettyTag t
     prettyM (Eq (S _ (N ty)) l r) =