Chiming in to the discussion: I'm curious to know why people don't naturally reach for newtypes when an Arbitrary instance for some type isn't what they're looking for. Cheers, Edward