Added example about functools.total_ordering