diff --git a/lib/Quox/Syntax/Term/Pretty.idr b/lib/Quox/Syntax/Term/Pretty.idr
index d9c20fb..112185c 100644
--- a/lib/Quox/Syntax/Term/Pretty.idr
+++ b/lib/Quox/Syntax/Term/Pretty.idr
@@ -221,9 +221,6 @@ where
     go (Left  p :: xs) $ assert_smaller e $ pushSubsts' f
   go xs s = (s, xs)
 
-export FromString (Elim d n) where fromString s = F (fromString s) noLoc
-export FromString (Term d n) where fromString s = FT (fromString s) noLoc
-
 private
 prettyDTApps : {opts : _} ->
                BContext d -> BContext n ->