Added a MonadSync typeclass, representing all monads that can sync on an event.