Brought semantics of monadic back to life.