Prototype of a catMaybesMN function (mapping some function over a list of something, where the something gets transformed into an IO (Maybe x), and then returns an IO computation that includes only the Just values.