Added monoid instance for quotation