diff --git a/src/Quox/Equal.idr b/src/Quox/Equal.idr
index 943993a..c96d872 100644
--- a/src/Quox/Equal.idr
+++ b/src/Quox/Equal.idr
@@ -10,6 +10,8 @@ import Quox.Error
 public export
 data Mode = Equal | Sub
 
+export %inline Show Mode where show Equal = "Equal"; show Sub = "Sub"
+
 public export
 data Error
 = ClashT Mode (Term d n) (Term d n)