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