catmaybes -package:witherable -package:foundation -package:hedgehog -package:hledger-web package:Agda

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