+
+ -- RFC1123
+ , property ( RFC1123.fromAscii "Sun, 06 Nov 1994 08:49:37 GMT"
+ ≡ Right referenceZonedTime )
+
+ , property ( "Sun, 06 Nov 1994 08:49:37 GMT"
+ ≡ RFC1123.toAscii referenceZonedTime )
+
+ , property $ \zt → Right zt ≡ RFC1123.fromAscii (RFC1123.toAscii zt)