Speicher-Aktionen als Monade

generische Aktionen/Verknüpfungen:

• nichts tun (return), • nacheinander (bind, >>=)

class Monad m where
  return :: a -> m a
  (>>=) :: m a 
        -> (a -> m b) -- Continuation
        -> m b
instance Monad Action where
  return x = Action $ \ s -> ( s, x )
  Action a >>= f = Action $ \ s -> ...