remove redundant dependency (#2455)

Author: jamesmckinna

src/Data/Vec/Recursive.agda

@@ -28,7 +28,6 @@ open import Data.Unit.Base using (tt)
 open import Data.Unit.Polymorphic.Base using (⊤)
 open import Data.Unit.Polymorphic.Properties using (⊤↔⊤*)
 open import Data.Vec.Base as Vec using (Vec; _∷_)
-open import Data.Vec.N-ary using (N-ary)
 open import Function.Base using (_∘′_; _∘_; id; const)
 open import Function.Bundles using (_↔_; mk↔ₛ′; mk↔)
 open import Function.Properties.Inverse using (↔-isEquivalence; ↔-refl; ↔-sym; ↔-trans)