[Jaxan]

I would expect different types of map and then:

    map :: (a -> b) -> Maybe a -> Maybe b
    then :: (a -> Maybe b) -> Maybe a -> Maybe b

Although for Maybe these are not too different.