I don't think we need the monoid instance anymore