Consider adding `EndoM` to `Data.Monoid`
We have Endo
giving us the Semigroup/Monoid for normal function composition, having EndoM
for monadic function composition would also be nice.
Currently available in https://hackage.haskell.org/package/foldl-1.4.11/docs/Control-Foldl.html#t:EndoM.