Update Traversable.hs with a note about an intuitive law