Data.Functor has <$> and <$, but not $>, which should be a flipped version
> of <$, analogous to <*>, <*, and *> in Control.Applicative.

Whoa there, it's not at all analogous. Your wording is almost suggesting that <* is a flipped *>, but beyond that, they are uncomparable to begin with.

Applicative functors:

    (<*>) :: Applicative f => f (a -> b) -> f a -> f b
    (<*)  :: Applicative f => f a -> f b -> f a
    (*>)  :: Applicative f => f a -> f b -> f b

Removing the `f` in the first position, you'd get an honest analogue for any functor:

    (<$>) :: Functor f => (a -> b) -> f a -> f b
    (<$)  :: Functor f => a -> f b -> f a
    ($>)  :: Functor f => a -> f b -> f b

Here, I don't see how ($>) could be anything else than `const id`.

Or am I missing something here?