Monadic command is adding new definitions (without transformation)