import Data.Tagged
import Data.Time
import Data.Time.Calendar.WeekDate
-import Data.Time.RFC822.Internal hiding (toAsciiBuilder)
+import Data.Time.RFC822
import Data.Time.HTTP.Common
import Prelude.Unicode
⊕ A.toAsciiBuilder ":"
⊕ show2 (floor (todSec timeOfDay) ∷ Int)
⊕ A.toAsciiBuilder " "
- ⊕ showRFC822TimeZone timeZone
+ ⊕ untag (cs timeZone ∷ Tagged RFC822 AsciiBuilder)
deriveAttempts [ ([t| ZonedTime |], [t| Tagged RFC733 Ascii |])
, ([t| ZonedTime |], [t| Tagged RFC733 AsciiBuilder |])