catmaybes -package:witherable -package:Agda package:strict is:exact

Analogous to catMaybes in Data.Maybe.