Using the Maybe Monad in “reverse”

Question

Let\'s say I have a number of functions:

f :: a -> Maybe a
g :: a -> Maybe a
h :: a -> Maybe a

And I want to compose them in the follo