catmaybes -package:streaming -package:termonad -package:streamly -package:loc package:Agda

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