Monadic Expressions and Their Derivatives [extended Version]