Perfect! Beautiful. I was hoping there'd be a simple solution like that. Thanks! On 9 Feb 2009, at 14:31, Wouter Swierstra wrote: > > snip > > How about using Data.Monoid: > > down = downPar `mappend` downNew `mappend` downTrans > > Wouter >