How do I write Functor and Applicative for Vector-Composition?

Question

I´m trying to learn more about dependent types using IDRIS. The example I am trying to emulate uses composition of Vectors. I understand Functor and Applicative implementations