diff --git a/lib/Quox/Name.idr b/lib/Quox/Name.idr
index 9420e36..cee177f 100644
--- a/lib/Quox/Name.idr
+++ b/lib/Quox/Name.idr
@@ -1,10 +1,10 @@
 module Quox.Name
 
+import Quox.CharExtra
 import public Data.SnocList
 import Data.List
-import Derive.Prelude
-import Quox.CharExtra
 import Text.Lexer
+import Derive.Prelude
 
 %hide TT.Name