diff --git a/lib/Quox/Typing.idr b/lib/Quox/Typing.idr
index fb5915f..571122a 100644
--- a/lib/Quox/Typing.idr
+++ b/lib/Quox/Typing.idr
@@ -12,6 +12,8 @@ import Control.Monad.State
 import Generics.Derive
 
 %hide TT.Name
+%hide SOP.from
+%hide SOP.to
 %default total
 %language ElabReflection