The question was about a Writer that basically calls seq on the mappend operation if I recall correctly? I'd be in on that. A practical example that I frequently come across is having Reader+State, but I can't use RWS because of the "mappend ()" thunk buildup when using "RWS r () s". +1 David