Control.Monad.Push.Example