Remove the monoid indexed monad typeclass.
Make (++) poly kinded.
Revert "Remove the monoid indexed monad typeclass."

This reverts commit ca5e0a9a0071ed9225845f113ee9d691184fcd95.
Made the monoid indexed monad typeclass work.