diff --git a/exe/Options.idr b/exe/Options.idr
index 256bca5..1c444e2 100644
--- a/exe/Options.idr
+++ b/exe/Options.idr
@@ -13,25 +13,24 @@ import Derive.Prelude
 public export
 data OutFile = File String | Console | NoOut
 %name OutFile f
-%runElab derive "OutFile" [Eq, Ord, Show]
+%runElab derive "OutFile" [Eq, Show]
 
 public export
 data Phase = Parse | Check | Erase | Scheme | End
 %name Phase p
-%runElab derive "Phase" [Eq, Ord, Show]
+%runElab derive "Phase" [Eq, Show]
 
 ||| a list of all intermediate `Phase`s (excluding `End`)
 public export %inline
 allPhases : List Phase
 allPhases = %runElab do
-  -- as a script so it stays up to date
   cs <- getCons $ fst !(lookupName "Phase")
   traverse (check . var) $ fromMaybe [] $ init' cs
 
 ||| `Guess` is `Term` for a terminal and `NoHL` for a file
 public export
 data HLType = Guess | NoHL | Term | Html
-%runElab derive "HLType" [Eq, Ord, Show]
+%runElab derive "HLType" [Eq, Show]
 
 public export
 record Dump where