diff --git a/src/Data/SnocVect.idr b/src/Data/SnocVect.idr
index ddba38a..2cc0e6d 100644
--- a/src/Data/SnocVect.idr
+++ b/src/Data/SnocVect.idr
@@ -17,9 +17,6 @@ data SnocVect : Nat -> Type -> Type where
 
 %name SnocVect sx, sy, sz
 
-export infixl 7 <><
-export infixr 6 <>>
-
 ||| 'fish': Action of lists on snoc-lists
 public export
 (<><) : SnocVect n a -> Vect m a -> SnocVect (n + m) a