invert a structure of S containing F[A] to F[T], a structure T containing A's inside an Applicative Functor