catmaybes -package:leancheck -package:base-prelude package:contiguous

The catMaybes function takes a list of Maybes and returns a list of all the Just values.