<div dir="ltr">A dozen of functions like concat, foldr, mapM, have been generalized through BBP.<div><br></div><div>Then, why do we leave `map` just for lists? Obviously `map` can be generalized, so</div><div><br></div><div>map :: Functor f => (a -> b) -> f a -> f b</div><div>map = fmap</div><div><br></div><div>The current definition of `map` looks too special to be a special case of mapM (map f = runIdentity . mapM (Identity . f)).</div></div>