Почему не «ZonedTime» есть «уравнение» или «экземпляр Ord»

Question

В time пакете мы имеем тип ZonedTime, который представляет собой LocalTime произведение localDay :: Day и localTimeOfDay :: TimeOfDay. LocalTime имеет экземпляры для Eq и Ord, но ZonedTime нет. Мне кажется, что ZonedTime s следовало бы сравнить с абсолютной системой отсчета, по крайней мере, до LocalTime s.

Почему ZonedTime не имеет Eq и Ord экземпляров?

Стоит отметить, что time переписывают thyme на самом деле имеют Eq и Ord экземпляров, хотя я предпочел бы не использовать нестандартные типы времени, если не требуется.

Answer 1

Я могу только предположить, что причина в том, что не совсем понятно, как следует сравнивать времена, имеющие разные зоны, и их достаточно легко преобразовать в UTCTime с использованием zonedTimeToUTC и сравнить результаты, если это то, что предназначено.

Answer 2

Возможно, это связано с летней экономией? Например, иногда британское время = французское время, но в другое время года есть разница в 1 час ...