I obviously had my table too wide in the last message, here it is again:

-------------------------------------------------------------------

| Function first | Op | Function second | Op

-------------------------------------------------------------------------

Plain | (a -> b) -> a -> b | $ | a -> (a -> b) -> b |

Fnctr | (a -> b) -> f a -> f b | <$> | f a -> (a -> b) -> f b |

Applc | f (a -> b) -> f a -> f b | <*> | f a -> f (a -> b) -> f b | <**>

Monad | (a -> m b) -> m a -> m b | =<< | m a -> (a -> m b) -> m b | >>=

-------------------------------------------------------------------------