concatMap property
MonadIO-ify