X-Git-Url: http://git.cielonegro.org/gitweb.cgi?p=time-http.git;a=blobdiff_plain;f=Data%2FTime%2FFormat%2FHTTP.hs;h=2dd3aad7e93db660cc6efc2e0690a0029480999e;hp=7e30cbfc48138e681bdb1aec65d944a2fbea2545;hb=c8df2ef;hpb=91c2402d530afff7f1fd4eee333f84cbe18d1014

diff --git a/Data/Time/Format/HTTP.hs b/Data/Time/Format/HTTP.hs
index 7e30cbf..2dd3aad 100644
--- a/Data/Time/Format/HTTP.hs
+++ b/Data/Time/Format/HTTP.hs
@@ -54,6 +54,7 @@ import Data.Ascii (Ascii, AsciiBuilder)
 import qualified Data.Ascii as A
 import Data.Attoparsec.Char8
 import Data.Convertible.Base
+import Data.Proxy
 import Data.Tagged
 import Data.Time
 import Data.Time.Format.Asctime
@@ -99,11 +100,12 @@ httpDateAndTime
              ]
 
 toAsciiBuilder ∷ UTCTime → AsciiBuilder
-toAsciiBuilder = untag' ∘ cs ∘ ut2zt
+{-# INLINE toAsciiBuilder #-}
+toAsciiBuilder = flip proxy rfc1123 ∘ cs ∘ ut2zt
     where
-      untag' ∷ Tagged RFC1123 AsciiBuilder → AsciiBuilder
-      {-# INLINE CONLIKE untag' #-}
-      untag' = untag
+      rfc1123 ∷ Proxy RFC1123
+      {-# INLINE CONLIKE rfc1123 #-}
+      rfc1123 = Proxy
 
       ut2zt ∷ UTCTime → ZonedTime
       {-# INLINE ut2zt #-}