- , property $ \ut → Just ut ≡ fromAttempt (ca (cs ut ∷ Tagged HTTP Ascii) ∷ Attempt UTCTime)
- , property $ \ut → Just ut ≡ fromAttempt (ca (retagHTTP (cs (ut2lt ut) ∷ Tagged C Ascii)))
- , property $ \ut → Just ut ≡ fromAttempt (ca (retagHTTP (cs (ut2zt ut) ∷ Tagged RFC733 Ascii)))
- , property $ \ut → Just (untag ut) ≡ fromAttempt (ca (retagHTTP (cs (ut2zt (untag (ut ∷ Tagged Cent20 UTCTime)))
- ∷ Tagged RFC822 Ascii)))
- , property $ \ut → Just ut ≡ fromAttempt (ca (retagHTTP (cs (ut2zt ut) ∷ Tagged RFC1123 Ascii)))
+ , property $ \ut → Just ut ≡ fromAttempt (ca (cs (ut ∷ Tagged HTTP UTCTime) ∷ Ascii))
+ , property $ \ut → Just ut ≡ fromAttempt (ca (cs (retag (ut2lt <$> (ut ∷ Tagged HTTP UTCTime))
+ ∷ Tagged C LocalTime)
+ ∷ Ascii))
+ , property $ \ut → Just ut ≡ fromAttempt (ca (cs (retag (ut2zt <$> (ut ∷ Tagged HTTP UTCTime))
+ ∷ Tagged RFC733 ZonedTime)
+ ∷ Ascii))
+ , property $ \ut → let zt = ut2zt $ untag (ut ∷ Tagged Cent20 UTCTime)
+ ut' = do a ← ca (Tagged zt ∷ Tagged RFC822 ZonedTime)
+ ca (a ∷ Ascii) ∷ Attempt (Tagged HTTP UTCTime)
+ in
+ fromAttempt ut' ≡ Just (retag ut)
+ , property $ \ut → Just ut ≡ fromAttempt (ca (cs (retag (ut2zt <$> (ut ∷ Tagged HTTP UTCTime))
+ ∷ Tagged RFC1123 ZonedTime)
+ ∷ Ascii))