Hi, How would I combine the functionalities of concatMap and mapM to define a function like: Monad m => (a -> m [b]) -> [a] -> m [b] I need to create a recursive function within the IO monad which results in a list of the original type. So something like: goX :: MonadIO m => x -> m [x] goX = do .... x includes within it a list of xs, let's call it (children x) I need to call goX on each of the children and get a modified list of children as result ys <- ? return $ x { children = ys } : zs Thanks, Renah Scarowsky Suite Solutions Create>Manage>Deploy http://www.suite-sol.comhttp://www.suite-sol.com/