diff --git a/horse/race.kk b/horse/race.kk
index 4379b38..3b509a7 100644
--- a/horse/race.kk
+++ b/horse/race.kk
@@ -35,6 +35,38 @@ pub type grade
   G1
   EX
 
+// Automatically generated.
+// Comparison of the `grade` type.
+pub fun grade/cmp(this : grade, other : grade) : e order
+  match (this, other)
+    (Pre-OP, Pre-OP) -> Eq
+    (Pre-OP, _) -> Lt
+    (_, Pre-OP) -> Gt
+    (OP, OP) -> Eq
+    (OP, _) -> Lt
+    (_, OP) -> Gt
+    (G3, G3) -> Eq
+    (G3, _) -> Lt
+    (_, G3) -> Gt
+    (G2, G2) -> Eq
+    (G2, _) -> Lt
+    (_, G2) -> Gt
+    (G1, G1) -> Eq
+    (G1, _) -> Lt
+    (_, G1) -> Gt
+    (EX, EX) -> Eq
+
+// Automatically generated.
+// Shows a string representation of the `grade` type.
+pub fun grade/show(this : grade) : e string
+  match this
+    Pre-OP -> "Pre-OP"
+    OP -> "OP"
+    G3 -> "G3"
+    G2 -> "G2"
+    G1 -> "G1"
+    EX -> "EX"
+
 // Graded race that a veteran ran.
 pub struct race-result
   race-id: race-id