As I read it, the question was "I have `... -> Maybe a` and I want to use it in a context where I am chaining together some unspecified monad. Will that be awk

As I read it, the question was "I have `... -> Maybe a` and I want to use it in a context where I am chaining together some unspecified monad. Will that be awkward?" And the monad interface doesn't help us with that. But the answer is that you have a Maybe, you can do any Maybe thing with it.