On Thu, Mar 08, 2012 at 04:03:57AM +0000, Edward Kmett wrote: > If the definitions of 'modify' ran through 'state' they could avoid a round > trip through the monad. Good point. Similar considerations apply to censor, gets and listens.