[Haskell-cafe] Does this typeclass have a name?

[Tom Ellis]

On Mon, Apr 21, 2014 at 07:09:13AM +0200, Bardur Arantsson wrote:
>   class Foo a e where
>      foo :: e -> a -> a
>      bar :: a
[...]
>    You have a sequence of "events" e_i and a starting value
>    "bar" and can use the "foo" function to apply all events
>    to that starting value

Do you *really* want a typeclass for this, rather than a value?

Tom