[Haskell-cafe] What inhabits this type: (forall a. a -> b) -> (forall a. m a -> m b)

[Jacques Carette]

Since my last query was answered so quickly, let's try another.

I have looked on Hoogle.  I would have asked Djinn, but I don't have it 
around.  So, can someone find a term that inhabits
(forall a. a -> b) -> (forall a. m a -> m b)
?  I think of this as the type of functions that, given a function from 
any boxed-up a to a b, will give me a function from a boxed-up ma to a m 
b -- m does not have to be a Monad!.

Jacques