Those Monoid instances (and Semigroup instance for V1) you propose sound reasonable. I'd also be fine with adding Monoid instances for Par1, Rec1, and (:.:), since we already define other instances like Eq, Ord, Read, and Show for them. Besides, if we don't add them this time around, someone else will just ask for them later :) Ryan S.