Q:

Are there flipped operators for Applicative?

The operators
$
. or <<<
<$>
<*>
=<<
<=<

Go very well together, each in some sense applying something on the left to something on the right. When thinking the other way, we have
&
>>>
>>=
>=>

But are there flipped versions of <$> and <*>?

A:

lens defines (<&>) = flip fmap. It will be available from Data.Functor in base-4.11/GHC 8.4. Control.Applicative has (<**>), which takes the arguments in the opposite order but is not flip (<*>) because effects are still sequenced from left to right.

