Added Monoid instance for Procedure.