Monad categories and algebras defined by actual group theoretic examples of Action groups and η, μ Natural Transformations naturally defined and finally programmed.
