Lately I'm working with Reader monad. Because of that, I have to use function of signature:

Monad m => (a -> m b) -> m (a -> b).

Is this even possible to do so? Thanks in advance for your help.

Best Regards,

Szymon Pajzert