14 Jan
2008
14 Jan
'08
5:42 p.m.
Yitzchak Gale wrote:
One point to consider - perhaps nowadays the type ought to be:
concatMapM :: (Monad m, Traversable t) => (a -> m (t b)) -> t a -> m (t b)
I don't think that works in such generality since that would imply join :: Traversable t => t (t c) -> t c join = runIdentity . concatMapM return (set a = t c and b = c ). Regards, apfelmus