I do not understand if there is Data.Map and []. I found this, wondering why I Data.Vector.mapM for vectors and Data.Traversable.mapM for maps.
Data.Vector.mapM
Data.Traversable.mapM
There are orphan instances on hackage .