catmaybes -package:yesod-paginator -package:github -package:singletons-base package:Agda

Like catMaybes.
Generalises the catMaybes function from lists to an arbitrary MonadPlus.