[Haskell-cafe] What's this algebraic structure called?

[Richard O'Keefe]

On 28 Oct 2008, at 3:51 pm, Derek Elkins wrote:
> Some variation on a module then:
> http://en.wikipedia.org/wiki/Module_(mathematics)


When you have M acting on X and X is an abelian group:
   M is a field => vector space
   M is a ring  => module
   M is a semiring => module over a semiring
   M is a monoid => ???

Maybe I can generalise M to a ring after all...