Posts and replies

Which one makes more sense for you and why?

whenJust :: Applicative f => Maybe a -> (a -> f ()) -> f ()

or

whenJust :: (Applicative f, Monoid m) => Maybe a -> (a -> f m) -> f m

or

whenJust :: Monoid m => Maybe a -> (a -> m) -> m