catmaybes -package:witherable -package:Agda package:strict

Analogous to catMaybes in Data.Maybe.