Hi, is there an easy way to transform a function from:
    Monad m => a -> m b
to:
    Monad m => m (a -> b)
?