monadic_rewiting_system