diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,30 @@
+Copyright Jasper Van der Jeugt 2010
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+    * Redistributions of source code must retain the above copyright
+      notice, this list of conditions and the following disclaimer.
+
+    * Redistributions in binary form must reproduce the above
+      copyright notice, this list of conditions and the following
+      disclaimer in the documentation and/or other materials provided
+      with the distribution.
+
+    * Neither the name of Jasper Van der Jeugt nor the names of other
+      contributors may be used to endorse or promote products derived
+      from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,3 @@
+#!/usr/bin/env runhaskell
+import Distribution.Simple
+main = defaultMain
diff --git a/blaze-html.cabal b/blaze-html.cabal
new file mode 100644
--- /dev/null
+++ b/blaze-html.cabal
@@ -0,0 +1,74 @@
+-- BlazeHtml.cabal auto-generated by cabal init. For additional
+-- options, see
+-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
+-- The name of the package.
+Name:                blaze-html
+
+-- The package version. See the Haskell package versioning policy
+-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
+-- standards guiding when and how versions should be incremented.
+Version:             0.1
+
+-- A short (one-line) description of the package.
+Synopsis:            A blazingly fast HTML generation library.
+
+-- A longer description of the package.
+-- Description:         
+
+-- URL for the project homepage or repository.
+Homepage:            http://jaspervdj.be/blaze
+Bug-Reports:         http://github.com/jaspervdj/BlazeHtml/issues
+
+-- The license under which the package is released.
+License:             BSD3
+
+-- The file containing the license text.
+License-file:        LICENSE
+
+-- The package author(s).
+Author:              Jasper Van der Jeugt
+
+-- An email address to which users can send suggestions, bug reports,
+-- and patches.
+Maintainer:          jaspervdj@gmail.com
+
+-- A copyright notice.
+-- Copyright:           
+
+-- Stability of the pakcage (experimental, provisional, stable...)
+Stability:           Experimental
+
+Category:            Text
+
+Build-type:          Simple
+
+-- Extra files to be distributed with the package, such as examples or
+-- a README.
+-- Extra-source-files:  
+
+-- Constraint on the version of Cabal needed to build this package.
+Cabal-version:       >=1.2
+
+
+Library
+  -- Source directories
+  Hs-Source-Dirs:    src,
+                     lib/binary-0.5.0.2/src
+
+  -- Modules exported by the library.
+  Exposed-modules:   Text.Blaze
+                     Text.Blaze.Html4.Strict
+                     Text.Blaze.Html4.Strict.Attributes
+                     Text.Blaze.Html5
+                     Text.Blaze.Html5.Attributes
+  
+  -- Packages needed in order to build this package.
+  Build-depends:     base >= 4 && < 5,
+                     text >= 0.7,
+                     bytestring >= 0.9
+  
+  -- Modules not exported by this package.
+  Other-modules:     Data.Binary.Builder
+                     Text.Blaze.Internal
+                     Text.Blaze.Internal.Utf8Builder
+                     Text.Blaze.Internal.Utf8BuilderHtml
diff --git a/lib/binary-0.5.0.2/src/Data/Binary/Builder.hs b/lib/binary-0.5.0.2/src/Data/Binary/Builder.hs
new file mode 100644
--- /dev/null
+++ b/lib/binary-0.5.0.2/src/Data/Binary/Builder.hs
@@ -0,0 +1,481 @@
+{-# LANGUAGE CPP #-}
+{-# OPTIONS_GHC -fglasgow-exts #-}
+-- for unboxed shifts
+
+-----------------------------------------------------------------------------
+-- |
+-- Module      : Data.Binary.Builder
+-- Copyright   : Lennart Kolmodin, Ross Paterson
+-- License     : BSD3-style (see LICENSE)
+-- 
+-- Maintainer  : Lennart Kolmodin <kolmodin@dtek.chalmers.se>
+-- Stability   : experimental
+-- Portability : portable to Hugs and GHC
+--
+-- Efficient construction of lazy bytestrings.
+--
+-----------------------------------------------------------------------------
+
+#if defined(__GLASGOW_HASKELL__) && !defined(__HADDOCK__)
+#include "MachDeps.h"
+#endif
+
+module Data.Binary.Builder (
+
+    -- * The Builder type
+      Builder
+    , toLazyByteString
+
+    -- * Constructing Builders
+    , empty
+    , singleton
+    , append
+    , fromByteString        -- :: S.ByteString -> Builder
+    , copyByteString        -- :: S.ByteString -> Builder
+    , fromLazyByteString    -- :: L.ByteString -> Builder
+    , fromUnsafeWrite
+    , fillBuffer
+    , forceNewBuffer
+
+    -- * Flushing the buffer state
+    , flush
+
+    -- * Derived Builders
+    -- ** Big-endian writes
+    , putWord16be           -- :: Word16 -> Builder
+    , putWord32be           -- :: Word32 -> Builder
+    , putWord64be           -- :: Word64 -> Builder
+
+    -- ** Little-endian writes
+    , putWord16le           -- :: Word16 -> Builder
+    , putWord32le           -- :: Word32 -> Builder
+    , putWord64le           -- :: Word64 -> Builder
+
+    -- ** Host-endian, unaligned writes
+    , putWordhost           -- :: Word -> Builder
+    , putWord16host         -- :: Word16 -> Builder
+    , putWord32host         -- :: Word32 -> Builder
+    , putWord64host         -- :: Word64 -> Builder
+
+  ) where
+
+import Foreign
+import Data.Monoid
+import Data.Word
+import qualified Data.ByteString      as S
+import qualified Data.ByteString.Lazy as L
+
+import Data.Text (Text)
+import qualified Data.Text as T
+
+#ifdef BYTESTRING_IN_BASE
+import Data.ByteString.Base (inlinePerformIO)
+import qualified Data.ByteString.Base as S
+#else
+import Data.ByteString.Internal (inlinePerformIO)
+import qualified Data.ByteString.Internal as S
+import qualified Data.ByteString.Lazy.Internal as L
+#endif
+
+#if defined(__GLASGOW_HASKELL__) && !defined(__HADDOCK__)
+import GHC.Base
+import GHC.Word (Word32(..),Word16(..),Word64(..))
+
+#if WORD_SIZE_IN_BITS < 64 && __GLASGOW_HASKELL__ >= 608
+import GHC.Word (uncheckedShiftRL64#)
+#endif
+#endif
+
+------------------------------------------------------------------------
+
+-- | A 'Builder' is an efficient way to build lazy 'L.ByteString's.
+-- There are several functions for constructing 'Builder's, but only one
+-- to inspect them: to extract any data, you have to turn them into lazy
+-- 'L.ByteString's using 'toLazyByteString'.
+--
+-- Internally, a 'Builder' constructs a lazy 'L.Bytestring' by filling byte
+-- arrays piece by piece.  As each buffer is filled, it is \'popped\'
+-- off, to become a new chunk of the resulting lazy 'L.ByteString'.
+-- All this is hidden from the user of the 'Builder'.
+
+newtype Builder = Builder {
+        -- Invariant (from Data.ByteString.Lazy):
+        --      The lists include no null ByteStrings.
+        runBuilder :: (Buffer -> [S.ByteString]) -> Buffer -> [S.ByteString]
+    }
+
+instance Monoid Builder where
+    mempty  = empty
+    {-# INLINE mempty #-}
+    mappend = append
+    {-# INLINE mappend #-}
+
+------------------------------------------------------------------------
+
+-- | /O(1)./ The empty Builder, satisfying
+--
+--  * @'toLazyByteString' 'empty' = 'L.empty'@
+--
+empty :: Builder
+empty = Builder id
+{-# INLINE empty #-}
+
+-- | /O(1)./ A Builder taking a single byte, satisfying
+--
+--  * @'toLazyByteString' ('singleton' b) = 'L.singleton' b@
+--
+singleton :: Word8 -> Builder
+singleton = writeN 1 . flip poke
+{-# INLINE singleton #-}
+
+------------------------------------------------------------------------
+
+-- | /O(1)./ The concatenation of two Builders, an associative operation
+-- with identity 'empty', satisfying
+--
+--  * @'toLazyByteString' ('append' x y) = 'L.append' ('toLazyByteString' x) ('toLazyByteString' y)@
+--
+append :: Builder -> Builder -> Builder
+append (Builder f) (Builder g) = Builder (f . g)
+{-# INLINE append #-}
+
+-- | /O(1)./ A Builder taking a 'S.ByteString', satisfying
+--
+--  * @'toLazyByteString' ('fromByteString' bs) = 'L.fromChunks' [bs]@
+--
+fromByteString :: S.ByteString -> Builder
+fromByteString bs
+  | S.null bs = empty
+  | otherwise = flush `append` mapBuilder (bs :)
+{-# INLINE fromByteString #-}
+
+-- | Write a 'S.ByteString' to the builder.
+--
+copyByteString :: S.ByteString  -- ^ ByteString to copy
+                -> Builder       -- ^ Resulting write.
+copyByteString byteString = fromUnsafeWrite l f 
+  where
+    (fptr, o, l) = S.toForeignPtr byteString
+    f dst = do copyBytes dst (unsafeForeignPtrToPtr fptr `plusPtr` o) l
+               touchForeignPtr fptr
+    {-# INLINE f #-}
+{-# INLINE copyByteString #-}
+
+
+-- | /O(1)./ A Builder taking a lazy 'L.ByteString', satisfying
+--
+--  * @'toLazyByteString' ('fromLazyByteString' bs) = bs@
+--
+fromLazyByteString :: L.ByteString -> Builder
+fromLazyByteString bss = flush `append` mapBuilder (L.toChunks bss ++)
+{-# INLINE fromLazyByteString #-}
+
+-- | /O(n)./ A Builder from a raw write to a pointer.
+fromUnsafeWrite :: Int                  -- ^ Number of bytes to be written.
+                -> (Ptr Word8 -> IO ()) -- ^ Function that does the write.
+                -> Builder              -- ^ Resulting 'Builder'.
+fromUnsafeWrite = writeN
+{-# INLINE fromUnsafeWrite #-}
+
+------------------------------------------------------------------------
+
+-- Our internal buffer type
+data Buffer = Buffer {-# UNPACK #-} !(ForeignPtr Word8)
+                     {-# UNPACK #-} !Int                -- offset
+                     {-# UNPACK #-} !Int                -- used bytes
+                     {-# UNPACK #-} !Int                -- length left
+
+------------------------------------------------------------------------
+
+-- | /O(n)./ Extract a lazy 'L.ByteString' from a 'Builder'.
+-- The construction work takes place if and when the relevant part of
+-- the lazy 'L.ByteString' is demanded.
+--
+toLazyByteString :: Builder -> L.ByteString
+toLazyByteString m = L.fromChunks $ unsafePerformIO $ do
+    buf <- newBuffer defaultSize
+    return (runBuilder (m `append` flush) (const []) buf)
+
+-- | /O(1)./ Pop the 'S.ByteString' we have constructed so far, if any,
+-- yielding a new chunk in the result lazy 'L.ByteString'.
+flush :: Builder
+flush = Builder $ \ k buf@(Buffer p o u l) ->
+    if u == 0
+      then k buf
+      else S.PS p o u : k (Buffer p (o+u) 0 l)
+
+------------------------------------------------------------------------
+
+--
+-- copied from Data.ByteString.Lazy
+--
+defaultSize :: Int
+defaultSize = 32 * k - overhead
+    where k = 1024
+          overhead = 2 * sizeOf (undefined :: Int)
+
+------------------------------------------------------------------------
+
+-- | Sequence an IO operation on the buffer
+unsafeLiftIO :: (Buffer -> IO Buffer) -> Builder
+unsafeLiftIO f =  Builder $ \ k buf -> inlinePerformIO $ do
+    buf' <- f buf
+    return (k buf')
+{-# INLINE unsafeLiftIO #-}
+
+-- | Get the size of the buffer
+withSize :: (Int -> Builder) -> Builder
+withSize f = Builder $ \ k buf@(Buffer _ _ _ l) ->
+    runBuilder (f l) k buf
+
+-- | Map the resulting list of bytestrings.
+mapBuilder :: ([S.ByteString] -> [S.ByteString]) -> Builder
+mapBuilder f = Builder (f .)
+
+------------------------------------------------------------------------
+
+-- | Ensure that there are at least @n@ many bytes available.
+ensureFree :: Int -> Builder
+ensureFree n = n `seq` withSize $ \ l ->
+    if n <= l then empty else
+        flush `append` unsafeLiftIO (const (newBuffer (max n defaultSize)))
+{-# INLINE ensureFree #-}
+
+-- | Ensure that @n@ many bytes are available, and then use @f@ to write some
+-- bytes into the memory.
+writeN :: Int -> (Ptr Word8 -> IO ()) -> Builder
+writeN n f = ensureFree n `append` unsafeLiftIO (writeNBuffer n f)
+{-# INLINE writeN #-}
+
+writeNBuffer :: Int -> (Ptr Word8 -> IO ()) -> Buffer -> IO Buffer
+writeNBuffer n f (Buffer fp o u l) = do
+    withForeignPtr fp (\p -> f (p `plusPtr` (o+u)))
+    return (Buffer fp o (u+n) (l-n))
+{-# INLINE writeNBuffer #-}
+
+newBuffer :: Int -> IO Buffer
+newBuffer size = do
+    fp <- S.mallocByteString size
+    return $! Buffer fp 0 0 size
+{-# INLINE newBuffer #-}
+
+-- SM: A function that allows for handing over control flow to the given
+-- function. 
+--
+--   The arguments are: length available, ptr to first byte.
+--   The results are  : the number of written bytes and a builder to be
+--                      executed for appending the remaining data.
+--
+-- NOTE: The returned builder must not reference the given Ptr Word8 anymore.
+--
+-- NOTE: There may be nicer constructions for achieving the same effect. This
+-- is just a first hack and I'm not 100% sure that it will always work
+-- correctly. That still needs to be verified.
+fillBuffer :: (Int -> Ptr Word8 -> IO (Int, Maybe Builder)) -> Builder
+fillBuffer f = Builder $ \ k buf@(Buffer fp o u l) -> inlinePerformIO $ do
+    (n, next) <- withForeignPtr fp (\p -> f l (p `plusPtr` (o+u)))
+    let buf' = Buffer fp o (u+n) (l-n)
+    case next of
+      Nothing -> return (k buf')
+      Just b  -> return (runBuilder b k buf')
+{-# INLINE fillBuffer #-}
+
+-- | SM: Forces the construction of a new buffer. Currently used in implementations
+-- making use of fillBuffer to ensure that a new buffer gets created if no more
+-- bytes were free.
+forceNewBuffer :: Builder
+forceNewBuffer = flush `append` unsafeLiftIO (const (newBuffer defaultSize))
+{-# INLINE forceNewBuffer #-}
+
+------------------------------------------------------------------------
+-- Aligned, host order writes of storable values
+
+-- | Ensure that @n@ many bytes are available, and then use @f@ to write some
+-- storable values into the memory.
+writeNbytes :: Storable a => Int -> (Ptr a -> IO ()) -> Builder
+writeNbytes n f = ensureFree n `append` unsafeLiftIO (writeNBufferBytes n f)
+{-# INLINE writeNbytes #-}
+
+writeNBufferBytes :: Storable a => Int -> (Ptr a -> IO ()) -> Buffer -> IO Buffer
+writeNBufferBytes n f (Buffer fp o u l) = do
+    withForeignPtr fp (\p -> f (p `plusPtr` (o+u)))
+    return (Buffer fp o (u+n) (l-n))
+{-# INLINE writeNBufferBytes #-}
+
+------------------------------------------------------------------------
+
+--
+-- We rely on the fromIntegral to do the right masking for us.
+-- The inlining here is critical, and can be worth 4x performance
+--
+
+-- | Write a Word16 in big endian format
+putWord16be :: Word16 -> Builder
+putWord16be w = writeN 2 $ \p -> do
+    poke p               (fromIntegral (shiftr_w16 w 8) :: Word8)
+    poke (p `plusPtr` 1) (fromIntegral (w)              :: Word8)
+{-# INLINE putWord16be #-}
+
+-- | Write a Word16 in little endian format
+putWord16le :: Word16 -> Builder
+putWord16le w = writeN 2 $ \p -> do
+    poke p               (fromIntegral (w)              :: Word8)
+    poke (p `plusPtr` 1) (fromIntegral (shiftr_w16 w 8) :: Word8)
+{-# INLINE putWord16le #-}
+
+-- putWord16le w16 = writeN 2 (\p -> poke (castPtr p) w16)
+
+-- | Write a Word32 in big endian format
+putWord32be :: Word32 -> Builder
+putWord32be w = writeN 4 $ \p -> do
+    poke p               (fromIntegral (shiftr_w32 w 24) :: Word8)
+    poke (p `plusPtr` 1) (fromIntegral (shiftr_w32 w 16) :: Word8)
+    poke (p `plusPtr` 2) (fromIntegral (shiftr_w32 w  8) :: Word8)
+    poke (p `plusPtr` 3) (fromIntegral (w)               :: Word8)
+{-# INLINE putWord32be #-}
+
+--
+-- a data type to tag Put/Check. writes construct these which are then
+-- inlined and flattened. matching Checks will be more robust with rules.
+--
+
+-- | Write a Word32 in little endian format
+putWord32le :: Word32 -> Builder
+putWord32le w = writeN 4 $ \p -> do
+    poke p               (fromIntegral (w)               :: Word8)
+    poke (p `plusPtr` 1) (fromIntegral (shiftr_w32 w  8) :: Word8)
+    poke (p `plusPtr` 2) (fromIntegral (shiftr_w32 w 16) :: Word8)
+    poke (p `plusPtr` 3) (fromIntegral (shiftr_w32 w 24) :: Word8)
+{-# INLINE putWord32le #-}
+
+-- on a little endian machine:
+-- putWord32le w32 = writeN 4 (\p -> poke (castPtr p) w32)
+
+-- | Write a Word64 in big endian format
+putWord64be :: Word64 -> Builder
+#if WORD_SIZE_IN_BITS < 64
+--
+-- To avoid expensive 64 bit shifts on 32 bit machines, we cast to
+-- Word32, and write that
+--
+putWord64be w =
+    let a = fromIntegral (shiftr_w64 w 32) :: Word32
+        b = fromIntegral w                 :: Word32
+    in writeN 8 $ \p -> do
+    poke p               (fromIntegral (shiftr_w32 a 24) :: Word8)
+    poke (p `plusPtr` 1) (fromIntegral (shiftr_w32 a 16) :: Word8)
+    poke (p `plusPtr` 2) (fromIntegral (shiftr_w32 a  8) :: Word8)
+    poke (p `plusPtr` 3) (fromIntegral (a)               :: Word8)
+    poke (p `plusPtr` 4) (fromIntegral (shiftr_w32 b 24) :: Word8)
+    poke (p `plusPtr` 5) (fromIntegral (shiftr_w32 b 16) :: Word8)
+    poke (p `plusPtr` 6) (fromIntegral (shiftr_w32 b  8) :: Word8)
+    poke (p `plusPtr` 7) (fromIntegral (b)               :: Word8)
+#else
+putWord64be w = writeN 8 $ \p -> do
+    poke p               (fromIntegral (shiftr_w64 w 56) :: Word8)
+    poke (p `plusPtr` 1) (fromIntegral (shiftr_w64 w 48) :: Word8)
+    poke (p `plusPtr` 2) (fromIntegral (shiftr_w64 w 40) :: Word8)
+    poke (p `plusPtr` 3) (fromIntegral (shiftr_w64 w 32) :: Word8)
+    poke (p `plusPtr` 4) (fromIntegral (shiftr_w64 w 24) :: Word8)
+    poke (p `plusPtr` 5) (fromIntegral (shiftr_w64 w 16) :: Word8)
+    poke (p `plusPtr` 6) (fromIntegral (shiftr_w64 w  8) :: Word8)
+    poke (p `plusPtr` 7) (fromIntegral (w)               :: Word8)
+#endif
+{-# INLINE putWord64be #-}
+
+-- | Write a Word64 in little endian format
+putWord64le :: Word64 -> Builder
+
+#if WORD_SIZE_IN_BITS < 64
+putWord64le w =
+    let b = fromIntegral (shiftr_w64 w 32) :: Word32
+        a = fromIntegral w                 :: Word32
+    in writeN 8 $ \p -> do
+    poke (p)             (fromIntegral (a)               :: Word8)
+    poke (p `plusPtr` 1) (fromIntegral (shiftr_w32 a  8) :: Word8)
+    poke (p `plusPtr` 2) (fromIntegral (shiftr_w32 a 16) :: Word8)
+    poke (p `plusPtr` 3) (fromIntegral (shiftr_w32 a 24) :: Word8)
+    poke (p `plusPtr` 4) (fromIntegral (b)               :: Word8)
+    poke (p `plusPtr` 5) (fromIntegral (shiftr_w32 b  8) :: Word8)
+    poke (p `plusPtr` 6) (fromIntegral (shiftr_w32 b 16) :: Word8)
+    poke (p `plusPtr` 7) (fromIntegral (shiftr_w32 b 24) :: Word8)
+#else
+putWord64le w = writeN 8 $ \p -> do
+    poke p               (fromIntegral (w)               :: Word8)
+    poke (p `plusPtr` 1) (fromIntegral (shiftr_w64 w  8) :: Word8)
+    poke (p `plusPtr` 2) (fromIntegral (shiftr_w64 w 16) :: Word8)
+    poke (p `plusPtr` 3) (fromIntegral (shiftr_w64 w 24) :: Word8)
+    poke (p `plusPtr` 4) (fromIntegral (shiftr_w64 w 32) :: Word8)
+    poke (p `plusPtr` 5) (fromIntegral (shiftr_w64 w 40) :: Word8)
+    poke (p `plusPtr` 6) (fromIntegral (shiftr_w64 w 48) :: Word8)
+    poke (p `plusPtr` 7) (fromIntegral (shiftr_w64 w 56) :: Word8)
+#endif
+{-# INLINE putWord64le #-}
+
+-- on a little endian machine:
+-- putWord64le w64 = writeN 8 (\p -> poke (castPtr p) w64)
+
+------------------------------------------------------------------------
+-- Unaligned, word size ops
+
+-- | /O(1)./ A Builder taking a single native machine word. The word is
+-- written in host order, host endian form, for the machine you're on.
+-- On a 64 bit machine the Word is an 8 byte value, on a 32 bit machine,
+-- 4 bytes. Values written this way are not portable to
+-- different endian or word sized machines, without conversion.
+--
+putWordhost :: Word -> Builder
+putWordhost w = writeNbytes (sizeOf (undefined :: Word)) (\p -> poke p w)
+{-# INLINE putWordhost #-}
+
+-- | Write a Word16 in native host order and host endianness.
+-- 2 bytes will be written, unaligned.
+putWord16host :: Word16 -> Builder
+putWord16host w16 = writeNbytes (sizeOf (undefined :: Word16)) (\p -> poke p w16)
+{-# INLINE putWord16host #-}
+
+-- | Write a Word32 in native host order and host endianness.
+-- 4 bytes will be written, unaligned.
+putWord32host :: Word32 -> Builder
+putWord32host w32 = writeNbytes (sizeOf (undefined :: Word32)) (\p -> poke p w32)
+{-# INLINE putWord32host #-}
+
+-- | Write a Word64 in native host order.
+-- On a 32 bit machine we write two host order Word32s, in big endian form.
+-- 8 bytes will be written, unaligned.
+putWord64host :: Word64 -> Builder
+putWord64host w = writeNbytes (sizeOf (undefined :: Word64)) (\p -> poke p w)
+{-# INLINE putWord64host #-}
+
+------------------------------------------------------------------------
+-- Unchecked shifts
+
+{-# INLINE shiftr_w16 #-}
+shiftr_w16 :: Word16 -> Int -> Word16
+{-# INLINE shiftr_w32 #-}
+shiftr_w32 :: Word32 -> Int -> Word32
+{-# INLINE shiftr_w64 #-}
+shiftr_w64 :: Word64 -> Int -> Word64
+
+#if defined(__GLASGOW_HASKELL__) && !defined(__HADDOCK__)
+shiftr_w16 (W16# w) (I# i) = W16# (w `uncheckedShiftRL#`   i)
+shiftr_w32 (W32# w) (I# i) = W32# (w `uncheckedShiftRL#`   i)
+
+#if WORD_SIZE_IN_BITS < 64
+shiftr_w64 (W64# w) (I# i) = W64# (w `uncheckedShiftRL64#` i)
+
+#if __GLASGOW_HASKELL__ <= 606
+-- Exported by GHC.Word in GHC 6.8 and higher
+foreign import ccall unsafe "stg_uncheckedShiftRL64"
+    uncheckedShiftRL64#     :: Word64# -> Int# -> Word64#
+#endif
+
+#else
+shiftr_w64 (W64# w) (I# i) = W64# (w `uncheckedShiftRL#` i)
+#endif
+
+#else
+shiftr_w16 = shiftR
+shiftr_w32 = shiftR
+shiftr_w64 = shiftR
+#endif
diff --git a/src/Text/Blaze.hs b/src/Text/Blaze.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze.hs
@@ -0,0 +1,44 @@
+{-# LANGUAGE OverloadedStrings, GeneralizedNewtypeDeriving, Rank2Types,
+             FlexibleInstances #-}
+-- | Core exposed functions.
+--
+module Text.Blaze
+    (
+      -- * Important types.
+      Html
+    , Tag
+    , Attribute
+    , AttributeValue
+
+      -- * Creating attributes.
+    , dataAttribute
+
+      -- * Converting values to HTML.
+    , text
+    , preEscapedText
+    , string
+    , preEscapedString
+    , showHtml
+    , preEscapedShowHtml
+
+      -- * Inserting literal ByteString's.
+    , unsafeByteString
+
+      -- * Creating tags.
+    , textTag
+    , stringTag
+
+      -- * Converting values to attribute values.
+    , textValue
+    , preEscapedTextValue
+    , stringValue
+    , preEscapedStringValue
+
+      -- * Setting attributes
+    , (!)
+
+      -- * Rendering HTML.
+    , renderHtml
+    ) where
+
+import Text.Blaze.Internal
diff --git a/src/Text/Blaze/Html4/Strict.hs b/src/Text/Blaze/Html4/Strict.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Html4/Strict.hs
@@ -0,0 +1,1255 @@
+{-# LANGUAGE OverloadedStrings #-}
+-- | This module exports HTML combinators used to create documents.
+--
+module Text.Blaze.Html4.Strict
+    ( module Text.Blaze
+    , html
+    , docType
+    , a
+    , abbr
+    , acronym
+    , address
+    , area
+    , b
+    , bdo
+    , big
+    , blockquote
+    , body
+    , br
+    , button
+    , caption
+    , cite
+    , code
+    , col
+    , colgroup
+    , dd
+    , del
+    , dfn
+    , div
+    , dl
+    , dt
+    , em
+    , fieldset
+    , form
+    , h1
+    , h2
+    , h3
+    , h4
+    , h5
+    , h6
+    , head
+    , hr
+    , htmlNoDocType
+    , i
+    , img
+    , input
+    , ins
+    , kbd
+    , label
+    , legend
+    , li
+    , link
+    , map
+    , meta
+    , noscript
+    , object
+    , ol
+    , optgroup
+    , option
+    , p
+    , param
+    , pre
+    , q
+    , samp
+    , script
+    , select
+    , small
+    , span
+    , strong
+    , style
+    , sub
+    , sup
+    , table
+    , tbody
+    , td
+    , textarea
+    , tfoot
+    , th
+    , thead
+    , title
+    , tr
+    , tt
+    , ul
+    , var
+    ) where
+
+import Prelude ()
+import Data.Monoid (mappend)
+
+import Text.Blaze
+import Text.Blaze.Internal (parent, leaf, open)
+
+-- | Combinator for the @\<html>@ element. This combinator will also
+-- insert the correct doctype.
+--
+-- Example:
+--
+-- > html $ span $ text "foo"
+--
+-- Result:
+--
+-- > <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+-- >     "http://www.w3.org/TR/html4/strict.dtd">
+-- > <html><span>foo</span></html>
+--
+html :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+html inner = docType `mappend` htmlNoDocType inner
+{-# INLINE html #-}
+
+-- | Combinator for the document type. This should be placed at the top
+-- of every HTML page.
+--
+-- Example:
+--
+-- > docType
+--
+-- Result:
+--
+-- > <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+-- >     "http://www.w3.org/TR/html4/strict.dtd">
+--
+docType :: Html a  -- ^ The document type HTML.
+docType = preEscapedText "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\"\n    \"http://www.w3.org/TR/html4/strict.dtd\">\n"
+{-# INLINE docType #-}
+
+-- | Combinator for the @\<a>@ element.
+--
+-- Example:
+--
+-- > a $ span $ text "foo"
+--
+-- Result:
+--
+-- > <a><span>foo</span></a>
+--
+a :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+a = parent "<a" "</a>"
+{-# INLINE a #-}
+
+-- | Combinator for the @\<abbr>@ element.
+--
+-- Example:
+--
+-- > abbr $ span $ text "foo"
+--
+-- Result:
+--
+-- > <abbr><span>foo</span></abbr>
+--
+abbr :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+abbr = parent "<abbr" "</abbr>"
+{-# INLINE abbr #-}
+
+-- | Combinator for the @\<acronym>@ element.
+--
+-- Example:
+--
+-- > acronym $ span $ text "foo"
+--
+-- Result:
+--
+-- > <acronym><span>foo</span></acronym>
+--
+acronym :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+acronym = parent "<acronym" "</acronym>"
+{-# INLINE acronym #-}
+
+-- | Combinator for the @\<address>@ element.
+--
+-- Example:
+--
+-- > address $ span $ text "foo"
+--
+-- Result:
+--
+-- > <address><span>foo</span></address>
+--
+address :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+address = parent "<address" "</address>"
+{-# INLINE address #-}
+
+-- | Combinator for the @\<area>@ element.
+--
+-- Example:
+--
+-- > area
+--
+-- Result:
+--
+-- > <area>
+--
+area :: Html a  -- ^ Resulting HTML.
+area = open "<area"
+{-# INLINE area #-}
+
+-- | Combinator for the @\<b>@ element.
+--
+-- Example:
+--
+-- > b $ span $ text "foo"
+--
+-- Result:
+--
+-- > <b><span>foo</span></b>
+--
+b :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+b = parent "<b" "</b>"
+{-# INLINE b #-}
+
+-- | Combinator for the @\<bdo>@ element.
+--
+-- Example:
+--
+-- > bdo $ span $ text "foo"
+--
+-- Result:
+--
+-- > <bdo><span>foo</span></bdo>
+--
+bdo :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+bdo = parent "<bdo" "</bdo>"
+{-# INLINE bdo #-}
+
+-- | Combinator for the @\<big>@ element.
+--
+-- Example:
+--
+-- > big $ span $ text "foo"
+--
+-- Result:
+--
+-- > <big><span>foo</span></big>
+--
+big :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+big = parent "<big" "</big>"
+{-# INLINE big #-}
+
+-- | Combinator for the @\<blockquote>@ element.
+--
+-- Example:
+--
+-- > blockquote $ span $ text "foo"
+--
+-- Result:
+--
+-- > <blockquote><span>foo</span></blockquote>
+--
+blockquote :: Html a  -- ^ Inner HTML.
+           -> Html b  -- ^ Resulting HTML.
+blockquote = parent "<blockquote" "</blockquote>"
+{-# INLINE blockquote #-}
+
+-- | Combinator for the @\<body>@ element.
+--
+-- Example:
+--
+-- > body $ span $ text "foo"
+--
+-- Result:
+--
+-- > <body><span>foo</span></body>
+--
+body :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+body = parent "<body" "</body>"
+{-# INLINE body #-}
+
+-- | Combinator for the @\<br>@ element.
+--
+-- Example:
+--
+-- > br
+--
+-- Result:
+--
+-- > <br>
+--
+br :: Html a  -- ^ Resulting HTML.
+br = open "<br"
+{-# INLINE br #-}
+
+-- | Combinator for the @\<button>@ element.
+--
+-- Example:
+--
+-- > button $ span $ text "foo"
+--
+-- Result:
+--
+-- > <button><span>foo</span></button>
+--
+button :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+button = parent "<button" "</button>"
+{-# INLINE button #-}
+
+-- | Combinator for the @\<caption>@ element.
+--
+-- Example:
+--
+-- > caption $ span $ text "foo"
+--
+-- Result:
+--
+-- > <caption><span>foo</span></caption>
+--
+caption :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+caption = parent "<caption" "</caption>"
+{-# INLINE caption #-}
+
+-- | Combinator for the @\<cite>@ element.
+--
+-- Example:
+--
+-- > cite $ span $ text "foo"
+--
+-- Result:
+--
+-- > <cite><span>foo</span></cite>
+--
+cite :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+cite = parent "<cite" "</cite>"
+{-# INLINE cite #-}
+
+-- | Combinator for the @\<code>@ element.
+--
+-- Example:
+--
+-- > code $ span $ text "foo"
+--
+-- Result:
+--
+-- > <code><span>foo</span></code>
+--
+code :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+code = parent "<code" "</code>"
+{-# INLINE code #-}
+
+-- | Combinator for the @\<col>@ element.
+--
+-- Example:
+--
+-- > col
+--
+-- Result:
+--
+-- > <col>
+--
+col :: Html a  -- ^ Resulting HTML.
+col = open "<col"
+{-# INLINE col #-}
+
+-- | Combinator for the @\<colgroup>@ element.
+--
+-- Example:
+--
+-- > colgroup $ span $ text "foo"
+--
+-- Result:
+--
+-- > <colgroup><span>foo</span></colgroup>
+--
+colgroup :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+colgroup = parent "<colgroup" "</colgroup>"
+{-# INLINE colgroup #-}
+
+-- | Combinator for the @\<dd>@ element.
+--
+-- Example:
+--
+-- > dd $ span $ text "foo"
+--
+-- Result:
+--
+-- > <dd><span>foo</span></dd>
+--
+dd :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+dd = parent "<dd" "</dd>"
+{-# INLINE dd #-}
+
+-- | Combinator for the @\<del>@ element.
+--
+-- Example:
+--
+-- > del $ span $ text "foo"
+--
+-- Result:
+--
+-- > <del><span>foo</span></del>
+--
+del :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+del = parent "<del" "</del>"
+{-# INLINE del #-}
+
+-- | Combinator for the @\<dfn>@ element.
+--
+-- Example:
+--
+-- > dfn $ span $ text "foo"
+--
+-- Result:
+--
+-- > <dfn><span>foo</span></dfn>
+--
+dfn :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+dfn = parent "<dfn" "</dfn>"
+{-# INLINE dfn #-}
+
+-- | Combinator for the @\<div>@ element.
+--
+-- Example:
+--
+-- > div $ span $ text "foo"
+--
+-- Result:
+--
+-- > <div><span>foo</span></div>
+--
+div :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+div = parent "<div" "</div>"
+{-# INLINE div #-}
+
+-- | Combinator for the @\<dl>@ element.
+--
+-- Example:
+--
+-- > dl $ span $ text "foo"
+--
+-- Result:
+--
+-- > <dl><span>foo</span></dl>
+--
+dl :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+dl = parent "<dl" "</dl>"
+{-# INLINE dl #-}
+
+-- | Combinator for the @\<dt>@ element.
+--
+-- Example:
+--
+-- > dt $ span $ text "foo"
+--
+-- Result:
+--
+-- > <dt><span>foo</span></dt>
+--
+dt :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+dt = parent "<dt" "</dt>"
+{-# INLINE dt #-}
+
+-- | Combinator for the @\<em>@ element.
+--
+-- Example:
+--
+-- > em $ span $ text "foo"
+--
+-- Result:
+--
+-- > <em><span>foo</span></em>
+--
+em :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+em = parent "<em" "</em>"
+{-# INLINE em #-}
+
+-- | Combinator for the @\<fieldset>@ element.
+--
+-- Example:
+--
+-- > fieldset $ span $ text "foo"
+--
+-- Result:
+--
+-- > <fieldset><span>foo</span></fieldset>
+--
+fieldset :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+fieldset = parent "<fieldset" "</fieldset>"
+{-# INLINE fieldset #-}
+
+-- | Combinator for the @\<form>@ element.
+--
+-- Example:
+--
+-- > form $ span $ text "foo"
+--
+-- Result:
+--
+-- > <form><span>foo</span></form>
+--
+form :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+form = parent "<form" "</form>"
+{-# INLINE form #-}
+
+-- | Combinator for the @\<h1>@ element.
+--
+-- Example:
+--
+-- > h1 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h1><span>foo</span></h1>
+--
+h1 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h1 = parent "<h1" "</h1>"
+{-# INLINE h1 #-}
+
+-- | Combinator for the @\<h2>@ element.
+--
+-- Example:
+--
+-- > h2 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h2><span>foo</span></h2>
+--
+h2 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h2 = parent "<h2" "</h2>"
+{-# INLINE h2 #-}
+
+-- | Combinator for the @\<h3>@ element.
+--
+-- Example:
+--
+-- > h3 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h3><span>foo</span></h3>
+--
+h3 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h3 = parent "<h3" "</h3>"
+{-# INLINE h3 #-}
+
+-- | Combinator for the @\<h4>@ element.
+--
+-- Example:
+--
+-- > h4 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h4><span>foo</span></h4>
+--
+h4 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h4 = parent "<h4" "</h4>"
+{-# INLINE h4 #-}
+
+-- | Combinator for the @\<h5>@ element.
+--
+-- Example:
+--
+-- > h5 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h5><span>foo</span></h5>
+--
+h5 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h5 = parent "<h5" "</h5>"
+{-# INLINE h5 #-}
+
+-- | Combinator for the @\<h6>@ element.
+--
+-- Example:
+--
+-- > h6 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h6><span>foo</span></h6>
+--
+h6 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h6 = parent "<h6" "</h6>"
+{-# INLINE h6 #-}
+
+-- | Combinator for the @\<head>@ element.
+--
+-- Example:
+--
+-- > head $ span $ text "foo"
+--
+-- Result:
+--
+-- > <head><span>foo</span></head>
+--
+head :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+head = parent "<head" "</head>"
+{-# INLINE head #-}
+
+-- | Combinator for the @\<hr>@ element.
+--
+-- Example:
+--
+-- > hr
+--
+-- Result:
+--
+-- > <hr>
+--
+hr :: Html a  -- ^ Resulting HTML.
+hr = open "<hr"
+{-# INLINE hr #-}
+
+-- | Combinator for the @\<html>@ element.
+--
+-- Example:
+--
+-- > htmlNoDocType $ span $ text "foo"
+--
+-- Result:
+--
+-- > <html><span>foo</span></html>
+--
+htmlNoDocType :: Html a  -- ^ Inner HTML.
+              -> Html b  -- ^ Resulting HTML.
+htmlNoDocType = parent "<html" "</html>"
+{-# INLINE htmlNoDocType #-}
+
+-- | Combinator for the @\<i>@ element.
+--
+-- Example:
+--
+-- > i $ span $ text "foo"
+--
+-- Result:
+--
+-- > <i><span>foo</span></i>
+--
+i :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+i = parent "<i" "</i>"
+{-# INLINE i #-}
+
+-- | Combinator for the @\<img>@ element.
+--
+-- Example:
+--
+-- > img
+--
+-- Result:
+--
+-- > <img>
+--
+img :: Html a  -- ^ Resulting HTML.
+img = open "<img"
+{-# INLINE img #-}
+
+-- | Combinator for the @\<input>@ element.
+--
+-- Example:
+--
+-- > input
+--
+-- Result:
+--
+-- > <input>
+--
+input :: Html a  -- ^ Resulting HTML.
+input = open "<input"
+{-# INLINE input #-}
+
+-- | Combinator for the @\<ins>@ element.
+--
+-- Example:
+--
+-- > ins $ span $ text "foo"
+--
+-- Result:
+--
+-- > <ins><span>foo</span></ins>
+--
+ins :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+ins = parent "<ins" "</ins>"
+{-# INLINE ins #-}
+
+-- | Combinator for the @\<kbd>@ element.
+--
+-- Example:
+--
+-- > kbd $ span $ text "foo"
+--
+-- Result:
+--
+-- > <kbd><span>foo</span></kbd>
+--
+kbd :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+kbd = parent "<kbd" "</kbd>"
+{-# INLINE kbd #-}
+
+-- | Combinator for the @\<label>@ element.
+--
+-- Example:
+--
+-- > label $ span $ text "foo"
+--
+-- Result:
+--
+-- > <label><span>foo</span></label>
+--
+label :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+label = parent "<label" "</label>"
+{-# INLINE label #-}
+
+-- | Combinator for the @\<legend>@ element.
+--
+-- Example:
+--
+-- > legend $ span $ text "foo"
+--
+-- Result:
+--
+-- > <legend><span>foo</span></legend>
+--
+legend :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+legend = parent "<legend" "</legend>"
+{-# INLINE legend #-}
+
+-- | Combinator for the @\<li>@ element.
+--
+-- Example:
+--
+-- > li $ span $ text "foo"
+--
+-- Result:
+--
+-- > <li><span>foo</span></li>
+--
+li :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+li = parent "<li" "</li>"
+{-# INLINE li #-}
+
+-- | Combinator for the @\<link>@ element.
+--
+-- Example:
+--
+-- > link
+--
+-- Result:
+--
+-- > <link>
+--
+link :: Html a  -- ^ Resulting HTML.
+link = open "<link"
+{-# INLINE link #-}
+
+-- | Combinator for the @\<map>@ element.
+--
+-- Example:
+--
+-- > map $ span $ text "foo"
+--
+-- Result:
+--
+-- > <map><span>foo</span></map>
+--
+map :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+map = parent "<map" "</map>"
+{-# INLINE map #-}
+
+-- | Combinator for the @\<meta>@ element.
+--
+-- Example:
+--
+-- > meta
+--
+-- Result:
+--
+-- > <meta>
+--
+meta :: Html a  -- ^ Resulting HTML.
+meta = open "<meta"
+{-# INLINE meta #-}
+
+-- | Combinator for the @\<noscript>@ element.
+--
+-- Example:
+--
+-- > noscript $ span $ text "foo"
+--
+-- Result:
+--
+-- > <noscript><span>foo</span></noscript>
+--
+noscript :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+noscript = parent "<noscript" "</noscript>"
+{-# INLINE noscript #-}
+
+-- | Combinator for the @\<object>@ element.
+--
+-- Example:
+--
+-- > object $ span $ text "foo"
+--
+-- Result:
+--
+-- > <object><span>foo</span></object>
+--
+object :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+object = parent "<object" "</object>"
+{-# INLINE object #-}
+
+-- | Combinator for the @\<ol>@ element.
+--
+-- Example:
+--
+-- > ol $ span $ text "foo"
+--
+-- Result:
+--
+-- > <ol><span>foo</span></ol>
+--
+ol :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+ol = parent "<ol" "</ol>"
+{-# INLINE ol #-}
+
+-- | Combinator for the @\<optgroup>@ element.
+--
+-- Example:
+--
+-- > optgroup $ span $ text "foo"
+--
+-- Result:
+--
+-- > <optgroup><span>foo</span></optgroup>
+--
+optgroup :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+optgroup = parent "<optgroup" "</optgroup>"
+{-# INLINE optgroup #-}
+
+-- | Combinator for the @\<option>@ element.
+--
+-- Example:
+--
+-- > option $ span $ text "foo"
+--
+-- Result:
+--
+-- > <option><span>foo</span></option>
+--
+option :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+option = parent "<option" "</option>"
+{-# INLINE option #-}
+
+-- | Combinator for the @\<p>@ element.
+--
+-- Example:
+--
+-- > p $ span $ text "foo"
+--
+-- Result:
+--
+-- > <p><span>foo</span></p>
+--
+p :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+p = parent "<p" "</p>"
+{-# INLINE p #-}
+
+-- | Combinator for the @\<param>@ element.
+--
+-- Example:
+--
+-- > param
+--
+-- Result:
+--
+-- > <param>
+--
+param :: Html a  -- ^ Resulting HTML.
+param = open "<param"
+{-# INLINE param #-}
+
+-- | Combinator for the @\<pre>@ element.
+--
+-- Example:
+--
+-- > pre $ span $ text "foo"
+--
+-- Result:
+--
+-- > <pre><span>foo</span></pre>
+--
+pre :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+pre = parent "<pre" "</pre>"
+{-# INLINE pre #-}
+
+-- | Combinator for the @\<q>@ element.
+--
+-- Example:
+--
+-- > q $ span $ text "foo"
+--
+-- Result:
+--
+-- > <q><span>foo</span></q>
+--
+q :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+q = parent "<q" "</q>"
+{-# INLINE q #-}
+
+-- | Combinator for the @\<samp>@ element.
+--
+-- Example:
+--
+-- > samp $ span $ text "foo"
+--
+-- Result:
+--
+-- > <samp><span>foo</span></samp>
+--
+samp :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+samp = parent "<samp" "</samp>"
+{-# INLINE samp #-}
+
+-- | Combinator for the @\<script>@ element.
+--
+-- Example:
+--
+-- > script $ span $ text "foo"
+--
+-- Result:
+--
+-- > <script><span>foo</span></script>
+--
+script :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+script = parent "<script" "</script>"
+{-# INLINE script #-}
+
+-- | Combinator for the @\<select>@ element.
+--
+-- Example:
+--
+-- > select $ span $ text "foo"
+--
+-- Result:
+--
+-- > <select><span>foo</span></select>
+--
+select :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+select = parent "<select" "</select>"
+{-# INLINE select #-}
+
+-- | Combinator for the @\<small>@ element.
+--
+-- Example:
+--
+-- > small $ span $ text "foo"
+--
+-- Result:
+--
+-- > <small><span>foo</span></small>
+--
+small :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+small = parent "<small" "</small>"
+{-# INLINE small #-}
+
+-- | Combinator for the @\<span>@ element.
+--
+-- Example:
+--
+-- > span $ span $ text "foo"
+--
+-- Result:
+--
+-- > <span><span>foo</span></span>
+--
+span :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+span = parent "<span" "</span>"
+{-# INLINE span #-}
+
+-- | Combinator for the @\<strong>@ element.
+--
+-- Example:
+--
+-- > strong $ span $ text "foo"
+--
+-- Result:
+--
+-- > <strong><span>foo</span></strong>
+--
+strong :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+strong = parent "<strong" "</strong>"
+{-# INLINE strong #-}
+
+-- | Combinator for the @\<style>@ element.
+--
+-- Example:
+--
+-- > style $ span $ text "foo"
+--
+-- Result:
+--
+-- > <style><span>foo</span></style>
+--
+style :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+style = parent "<style" "</style>"
+{-# INLINE style #-}
+
+-- | Combinator for the @\<sub>@ element.
+--
+-- Example:
+--
+-- > sub $ span $ text "foo"
+--
+-- Result:
+--
+-- > <sub><span>foo</span></sub>
+--
+sub :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+sub = parent "<sub" "</sub>"
+{-# INLINE sub #-}
+
+-- | Combinator for the @\<sup>@ element.
+--
+-- Example:
+--
+-- > sup $ span $ text "foo"
+--
+-- Result:
+--
+-- > <sup><span>foo</span></sup>
+--
+sup :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+sup = parent "<sup" "</sup>"
+{-# INLINE sup #-}
+
+-- | Combinator for the @\<table>@ element.
+--
+-- Example:
+--
+-- > table $ span $ text "foo"
+--
+-- Result:
+--
+-- > <table><span>foo</span></table>
+--
+table :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+table = parent "<table" "</table>"
+{-# INLINE table #-}
+
+-- | Combinator for the @\<tbody>@ element.
+--
+-- Example:
+--
+-- > tbody $ span $ text "foo"
+--
+-- Result:
+--
+-- > <tbody><span>foo</span></tbody>
+--
+tbody :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+tbody = parent "<tbody" "</tbody>"
+{-# INLINE tbody #-}
+
+-- | Combinator for the @\<td>@ element.
+--
+-- Example:
+--
+-- > td $ span $ text "foo"
+--
+-- Result:
+--
+-- > <td><span>foo</span></td>
+--
+td :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+td = parent "<td" "</td>"
+{-# INLINE td #-}
+
+-- | Combinator for the @\<textarea>@ element.
+--
+-- Example:
+--
+-- > textarea $ span $ text "foo"
+--
+-- Result:
+--
+-- > <textarea><span>foo</span></textarea>
+--
+textarea :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+textarea = parent "<textarea" "</textarea>"
+{-# INLINE textarea #-}
+
+-- | Combinator for the @\<tfoot>@ element.
+--
+-- Example:
+--
+-- > tfoot $ span $ text "foo"
+--
+-- Result:
+--
+-- > <tfoot><span>foo</span></tfoot>
+--
+tfoot :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+tfoot = parent "<tfoot" "</tfoot>"
+{-# INLINE tfoot #-}
+
+-- | Combinator for the @\<th>@ element.
+--
+-- Example:
+--
+-- > th $ span $ text "foo"
+--
+-- Result:
+--
+-- > <th><span>foo</span></th>
+--
+th :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+th = parent "<th" "</th>"
+{-# INLINE th #-}
+
+-- | Combinator for the @\<thead>@ element.
+--
+-- Example:
+--
+-- > thead $ span $ text "foo"
+--
+-- Result:
+--
+-- > <thead><span>foo</span></thead>
+--
+thead :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+thead = parent "<thead" "</thead>"
+{-# INLINE thead #-}
+
+-- | Combinator for the @\<title>@ element.
+--
+-- Example:
+--
+-- > title $ span $ text "foo"
+--
+-- Result:
+--
+-- > <title><span>foo</span></title>
+--
+title :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+title = parent "<title" "</title>"
+{-# INLINE title #-}
+
+-- | Combinator for the @\<tr>@ element.
+--
+-- Example:
+--
+-- > tr $ span $ text "foo"
+--
+-- Result:
+--
+-- > <tr><span>foo</span></tr>
+--
+tr :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+tr = parent "<tr" "</tr>"
+{-# INLINE tr #-}
+
+-- | Combinator for the @\<tt>@ element.
+--
+-- Example:
+--
+-- > tt $ span $ text "foo"
+--
+-- Result:
+--
+-- > <tt><span>foo</span></tt>
+--
+tt :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+tt = parent "<tt" "</tt>"
+{-# INLINE tt #-}
+
+-- | Combinator for the @\<ul>@ element.
+--
+-- Example:
+--
+-- > ul $ span $ text "foo"
+--
+-- Result:
+--
+-- > <ul><span>foo</span></ul>
+--
+ul :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+ul = parent "<ul" "</ul>"
+{-# INLINE ul #-}
+
+-- | Combinator for the @\<var>@ element.
+--
+-- Example:
+--
+-- > var $ span $ text "foo"
+--
+-- Result:
+--
+-- > <var><span>foo</span></var>
+--
+var :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+var = parent "<var" "</var>"
+{-# INLINE var #-}
diff --git a/src/Text/Blaze/Html4/Strict/Attributes.hs b/src/Text/Blaze/Html4/Strict/Attributes.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Html4/Strict/Attributes.hs
@@ -0,0 +1,1452 @@
+{-# LANGUAGE OverloadedStrings #-}
+-- | This module exports combinators that provide you with the
+-- ability to set attributes on HTML elements.
+--
+module Text.Blaze.Html4.Strict.Attributes
+    ( abbr
+    , accept
+    , accesskey
+    , action
+    , align
+    , alt
+    , archive
+    , axis
+    , border
+    , cellpadding
+    , cellspacing
+    , char
+    , charoff
+    , charset
+    , checked
+    , cite
+    , class_
+    , classid
+    , codebase
+    , codetype
+    , cols
+    , colspan
+    , content
+    , coords
+    , data_
+    , datetime
+    , declare
+    , defer
+    , dir
+    , disabled
+    , for
+    , frame
+    , headers
+    , height
+    , href
+    , hreflang
+    , http_equiv
+    , id
+    , label
+    , lang
+    , maxlength
+    , media
+    , method
+    , multiple
+    , name
+    , nohref
+    , onabort
+    , onblur
+    , onchange
+    , onclick
+    , ondblclick
+    , onfocus
+    , onkeydown
+    , onkeypress
+    , onkeyup
+    , onload
+    , onmousedown
+    , onmousemove
+    , onmouseout
+    , onmouseover
+    , onmouseup
+    , onreset
+    , onselect
+    , onsubmit
+    , onunload
+    , profile
+    , readonly
+    , rel
+    , rev
+    , rows
+    , rowspan
+    , rules
+    , scheme
+    , scope
+    , selected
+    , shape
+    , size
+    , span
+    , src
+    , standby
+    , style
+    , summary
+    , tabindex
+    , title
+    , type_
+    , usemap
+    , valign
+    , value
+    , valuetype
+    , width
+    ) where
+
+import Prelude ()
+
+import Data.Text (Text)
+
+import Text.Blaze.Internal (Attribute, AttributeValue, attribute)
+
+-- | Combinator for the @abbr@ attribute.
+--
+-- Example:
+--
+-- > div <! abbr "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div abbr="bar">Hello.</div>
+--
+abbr :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+abbr = attribute " abbr=\""
+{-# INLINE abbr #-}
+
+-- | Combinator for the @accept@ attribute.
+--
+-- Example:
+--
+-- > div <! accept "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div accept="bar">Hello.</div>
+--
+accept :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+accept = attribute " accept=\""
+{-# INLINE accept #-}
+
+-- | Combinator for the @accesskey@ attribute.
+--
+-- Example:
+--
+-- > div <! accesskey "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div accesskey="bar">Hello.</div>
+--
+accesskey :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+accesskey = attribute " accesskey=\""
+{-# INLINE accesskey #-}
+
+-- | Combinator for the @action@ attribute.
+--
+-- Example:
+--
+-- > div <! action "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div action="bar">Hello.</div>
+--
+action :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+action = attribute " action=\""
+{-# INLINE action #-}
+
+-- | Combinator for the @align@ attribute.
+--
+-- Example:
+--
+-- > div <! align "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div align="bar">Hello.</div>
+--
+align :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+align = attribute " align=\""
+{-# INLINE align #-}
+
+-- | Combinator for the @alt@ attribute.
+--
+-- Example:
+--
+-- > div <! alt "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div alt="bar">Hello.</div>
+--
+alt :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+alt = attribute " alt=\""
+{-# INLINE alt #-}
+
+-- | Combinator for the @archive@ attribute.
+--
+-- Example:
+--
+-- > div <! archive "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div archive="bar">Hello.</div>
+--
+archive :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+archive = attribute " archive=\""
+{-# INLINE archive #-}
+
+-- | Combinator for the @axis@ attribute.
+--
+-- Example:
+--
+-- > div <! axis "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div axis="bar">Hello.</div>
+--
+axis :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+axis = attribute " axis=\""
+{-# INLINE axis #-}
+
+-- | Combinator for the @border@ attribute.
+--
+-- Example:
+--
+-- > div <! border "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div border="bar">Hello.</div>
+--
+border :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+border = attribute " border=\""
+{-# INLINE border #-}
+
+-- | Combinator for the @cellpadding@ attribute.
+--
+-- Example:
+--
+-- > div <! cellpadding "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div cellpadding="bar">Hello.</div>
+--
+cellpadding :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+cellpadding = attribute " cellpadding=\""
+{-# INLINE cellpadding #-}
+
+-- | Combinator for the @cellspacing@ attribute.
+--
+-- Example:
+--
+-- > div <! cellspacing "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div cellspacing="bar">Hello.</div>
+--
+cellspacing :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+cellspacing = attribute " cellspacing=\""
+{-# INLINE cellspacing #-}
+
+-- | Combinator for the @char@ attribute.
+--
+-- Example:
+--
+-- > div <! char "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div char="bar">Hello.</div>
+--
+char :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+char = attribute " char=\""
+{-# INLINE char #-}
+
+-- | Combinator for the @charoff@ attribute.
+--
+-- Example:
+--
+-- > div <! charoff "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div charoff="bar">Hello.</div>
+--
+charoff :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+charoff = attribute " charoff=\""
+{-# INLINE charoff #-}
+
+-- | Combinator for the @charset@ attribute.
+--
+-- Example:
+--
+-- > div <! charset "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div charset="bar">Hello.</div>
+--
+charset :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+charset = attribute " charset=\""
+{-# INLINE charset #-}
+
+-- | Combinator for the @checked@ attribute.
+--
+-- Example:
+--
+-- > div <! checked "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div checked="bar">Hello.</div>
+--
+checked :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+checked = attribute " checked=\""
+{-# INLINE checked #-}
+
+-- | Combinator for the @cite@ attribute.
+--
+-- Example:
+--
+-- > div <! cite "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div cite="bar">Hello.</div>
+--
+cite :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+cite = attribute " cite=\""
+{-# INLINE cite #-}
+
+-- | Combinator for the @class@ attribute.
+--
+-- Example:
+--
+-- > div <! class_ "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div class="bar">Hello.</div>
+--
+class_ :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+class_ = attribute " class=\""
+{-# INLINE class_ #-}
+
+-- | Combinator for the @classid@ attribute.
+--
+-- Example:
+--
+-- > div <! classid "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div classid="bar">Hello.</div>
+--
+classid :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+classid = attribute " classid=\""
+{-# INLINE classid #-}
+
+-- | Combinator for the @codebase@ attribute.
+--
+-- Example:
+--
+-- > div <! codebase "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div codebase="bar">Hello.</div>
+--
+codebase :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+codebase = attribute " codebase=\""
+{-# INLINE codebase #-}
+
+-- | Combinator for the @codetype@ attribute.
+--
+-- Example:
+--
+-- > div <! codetype "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div codetype="bar">Hello.</div>
+--
+codetype :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+codetype = attribute " codetype=\""
+{-# INLINE codetype #-}
+
+-- | Combinator for the @cols@ attribute.
+--
+-- Example:
+--
+-- > div <! cols "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div cols="bar">Hello.</div>
+--
+cols :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+cols = attribute " cols=\""
+{-# INLINE cols #-}
+
+-- | Combinator for the @colspan@ attribute.
+--
+-- Example:
+--
+-- > div <! colspan "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div colspan="bar">Hello.</div>
+--
+colspan :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+colspan = attribute " colspan=\""
+{-# INLINE colspan #-}
+
+-- | Combinator for the @content@ attribute.
+--
+-- Example:
+--
+-- > div <! content "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div content="bar">Hello.</div>
+--
+content :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+content = attribute " content=\""
+{-# INLINE content #-}
+
+-- | Combinator for the @coords@ attribute.
+--
+-- Example:
+--
+-- > div <! coords "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div coords="bar">Hello.</div>
+--
+coords :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+coords = attribute " coords=\""
+{-# INLINE coords #-}
+
+-- | Combinator for the @data@ attribute.
+--
+-- Example:
+--
+-- > div <! data_ "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div data="bar">Hello.</div>
+--
+data_ :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+data_ = attribute " data=\""
+{-# INLINE data_ #-}
+
+-- | Combinator for the @datetime@ attribute.
+--
+-- Example:
+--
+-- > div <! datetime "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div datetime="bar">Hello.</div>
+--
+datetime :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+datetime = attribute " datetime=\""
+{-# INLINE datetime #-}
+
+-- | Combinator for the @declare@ attribute.
+--
+-- Example:
+--
+-- > div <! declare "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div declare="bar">Hello.</div>
+--
+declare :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+declare = attribute " declare=\""
+{-# INLINE declare #-}
+
+-- | Combinator for the @defer@ attribute.
+--
+-- Example:
+--
+-- > div <! defer "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div defer="bar">Hello.</div>
+--
+defer :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+defer = attribute " defer=\""
+{-# INLINE defer #-}
+
+-- | Combinator for the @dir@ attribute.
+--
+-- Example:
+--
+-- > div <! dir "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div dir="bar">Hello.</div>
+--
+dir :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+dir = attribute " dir=\""
+{-# INLINE dir #-}
+
+-- | Combinator for the @disabled@ attribute.
+--
+-- Example:
+--
+-- > div <! disabled "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div disabled="bar">Hello.</div>
+--
+disabled :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+disabled = attribute " disabled=\""
+{-# INLINE disabled #-}
+
+-- | Combinator for the @for@ attribute.
+--
+-- Example:
+--
+-- > div <! for "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div for="bar">Hello.</div>
+--
+for :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+for = attribute " for=\""
+{-# INLINE for #-}
+
+-- | Combinator for the @frame@ attribute.
+--
+-- Example:
+--
+-- > div <! frame "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div frame="bar">Hello.</div>
+--
+frame :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+frame = attribute " frame=\""
+{-# INLINE frame #-}
+
+-- | Combinator for the @headers@ attribute.
+--
+-- Example:
+--
+-- > div <! headers "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div headers="bar">Hello.</div>
+--
+headers :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+headers = attribute " headers=\""
+{-# INLINE headers #-}
+
+-- | Combinator for the @height@ attribute.
+--
+-- Example:
+--
+-- > div <! height "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div height="bar">Hello.</div>
+--
+height :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+height = attribute " height=\""
+{-# INLINE height #-}
+
+-- | Combinator for the @href@ attribute.
+--
+-- Example:
+--
+-- > div <! href "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div href="bar">Hello.</div>
+--
+href :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+href = attribute " href=\""
+{-# INLINE href #-}
+
+-- | Combinator for the @hreflang@ attribute.
+--
+-- Example:
+--
+-- > div <! hreflang "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div hreflang="bar">Hello.</div>
+--
+hreflang :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+hreflang = attribute " hreflang=\""
+{-# INLINE hreflang #-}
+
+-- | Combinator for the @http-equiv@ attribute.
+--
+-- Example:
+--
+-- > div <! http_equiv "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div http-equiv="bar">Hello.</div>
+--
+http_equiv :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+http_equiv = attribute " http-equiv=\""
+{-# INLINE http_equiv #-}
+
+-- | Combinator for the @id@ attribute.
+--
+-- Example:
+--
+-- > div <! id "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div id="bar">Hello.</div>
+--
+id :: AttributeValue  -- ^ Attribute value.
+   -> Attribute       -- ^ Resulting attribute.
+id = attribute " id=\""
+{-# INLINE id #-}
+
+-- | Combinator for the @label@ attribute.
+--
+-- Example:
+--
+-- > div <! label "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div label="bar">Hello.</div>
+--
+label :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+label = attribute " label=\""
+{-# INLINE label #-}
+
+-- | Combinator for the @lang@ attribute.
+--
+-- Example:
+--
+-- > div <! lang "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div lang="bar">Hello.</div>
+--
+lang :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+lang = attribute " lang=\""
+{-# INLINE lang #-}
+
+-- | Combinator for the @maxlength@ attribute.
+--
+-- Example:
+--
+-- > div <! maxlength "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div maxlength="bar">Hello.</div>
+--
+maxlength :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+maxlength = attribute " maxlength=\""
+{-# INLINE maxlength #-}
+
+-- | Combinator for the @media@ attribute.
+--
+-- Example:
+--
+-- > div <! media "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div media="bar">Hello.</div>
+--
+media :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+media = attribute " media=\""
+{-# INLINE media #-}
+
+-- | Combinator for the @method@ attribute.
+--
+-- Example:
+--
+-- > div <! method "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div method="bar">Hello.</div>
+--
+method :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+method = attribute " method=\""
+{-# INLINE method #-}
+
+-- | Combinator for the @multiple@ attribute.
+--
+-- Example:
+--
+-- > div <! multiple "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div multiple="bar">Hello.</div>
+--
+multiple :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+multiple = attribute " multiple=\""
+{-# INLINE multiple #-}
+
+-- | Combinator for the @name@ attribute.
+--
+-- Example:
+--
+-- > div <! name "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div name="bar">Hello.</div>
+--
+name :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+name = attribute " name=\""
+{-# INLINE name #-}
+
+-- | Combinator for the @nohref@ attribute.
+--
+-- Example:
+--
+-- > div <! nohref "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div nohref="bar">Hello.</div>
+--
+nohref :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+nohref = attribute " nohref=\""
+{-# INLINE nohref #-}
+
+-- | Combinator for the @onabort@ attribute.
+--
+-- Example:
+--
+-- > div <! onabort "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onabort="bar">Hello.</div>
+--
+onabort :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+onabort = attribute " onabort=\""
+{-# INLINE onabort #-}
+
+-- | Combinator for the @onblur@ attribute.
+--
+-- Example:
+--
+-- > div <! onblur "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onblur="bar">Hello.</div>
+--
+onblur :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+onblur = attribute " onblur=\""
+{-# INLINE onblur #-}
+
+-- | Combinator for the @onchange@ attribute.
+--
+-- Example:
+--
+-- > div <! onchange "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onchange="bar">Hello.</div>
+--
+onchange :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+onchange = attribute " onchange=\""
+{-# INLINE onchange #-}
+
+-- | Combinator for the @onclick@ attribute.
+--
+-- Example:
+--
+-- > div <! onclick "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onclick="bar">Hello.</div>
+--
+onclick :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+onclick = attribute " onclick=\""
+{-# INLINE onclick #-}
+
+-- | Combinator for the @ondblclick@ attribute.
+--
+-- Example:
+--
+-- > div <! ondblclick "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div ondblclick="bar">Hello.</div>
+--
+ondblclick :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+ondblclick = attribute " ondblclick=\""
+{-# INLINE ondblclick #-}
+
+-- | Combinator for the @onfocus@ attribute.
+--
+-- Example:
+--
+-- > div <! onfocus "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onfocus="bar">Hello.</div>
+--
+onfocus :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+onfocus = attribute " onfocus=\""
+{-# INLINE onfocus #-}
+
+-- | Combinator for the @onkeydown@ attribute.
+--
+-- Example:
+--
+-- > div <! onkeydown "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onkeydown="bar">Hello.</div>
+--
+onkeydown :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+onkeydown = attribute " onkeydown=\""
+{-# INLINE onkeydown #-}
+
+-- | Combinator for the @onkeypress@ attribute.
+--
+-- Example:
+--
+-- > div <! onkeypress "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onkeypress="bar">Hello.</div>
+--
+onkeypress :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+onkeypress = attribute " onkeypress=\""
+{-# INLINE onkeypress #-}
+
+-- | Combinator for the @onkeyup@ attribute.
+--
+-- Example:
+--
+-- > div <! onkeyup "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onkeyup="bar">Hello.</div>
+--
+onkeyup :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+onkeyup = attribute " onkeyup=\""
+{-# INLINE onkeyup #-}
+
+-- | Combinator for the @onload@ attribute.
+--
+-- Example:
+--
+-- > div <! onload "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onload="bar">Hello.</div>
+--
+onload :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+onload = attribute " onload=\""
+{-# INLINE onload #-}
+
+-- | Combinator for the @onmousedown@ attribute.
+--
+-- Example:
+--
+-- > div <! onmousedown "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onmousedown="bar">Hello.</div>
+--
+onmousedown :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+onmousedown = attribute " onmousedown=\""
+{-# INLINE onmousedown #-}
+
+-- | Combinator for the @onmousemove@ attribute.
+--
+-- Example:
+--
+-- > div <! onmousemove "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onmousemove="bar">Hello.</div>
+--
+onmousemove :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+onmousemove = attribute " onmousemove=\""
+{-# INLINE onmousemove #-}
+
+-- | Combinator for the @onmouseout@ attribute.
+--
+-- Example:
+--
+-- > div <! onmouseout "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onmouseout="bar">Hello.</div>
+--
+onmouseout :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+onmouseout = attribute " onmouseout=\""
+{-# INLINE onmouseout #-}
+
+-- | Combinator for the @onmouseover@ attribute.
+--
+-- Example:
+--
+-- > div <! onmouseover "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onmouseover="bar">Hello.</div>
+--
+onmouseover :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+onmouseover = attribute " onmouseover=\""
+{-# INLINE onmouseover #-}
+
+-- | Combinator for the @onmouseup@ attribute.
+--
+-- Example:
+--
+-- > div <! onmouseup "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onmouseup="bar">Hello.</div>
+--
+onmouseup :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+onmouseup = attribute " onmouseup=\""
+{-# INLINE onmouseup #-}
+
+-- | Combinator for the @onreset@ attribute.
+--
+-- Example:
+--
+-- > div <! onreset "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onreset="bar">Hello.</div>
+--
+onreset :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+onreset = attribute " onreset=\""
+{-# INLINE onreset #-}
+
+-- | Combinator for the @onselect@ attribute.
+--
+-- Example:
+--
+-- > div <! onselect "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onselect="bar">Hello.</div>
+--
+onselect :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+onselect = attribute " onselect=\""
+{-# INLINE onselect #-}
+
+-- | Combinator for the @onsubmit@ attribute.
+--
+-- Example:
+--
+-- > div <! onsubmit "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onsubmit="bar">Hello.</div>
+--
+onsubmit :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+onsubmit = attribute " onsubmit=\""
+{-# INLINE onsubmit #-}
+
+-- | Combinator for the @onunload@ attribute.
+--
+-- Example:
+--
+-- > div <! onunload "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onunload="bar">Hello.</div>
+--
+onunload :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+onunload = attribute " onunload=\""
+{-# INLINE onunload #-}
+
+-- | Combinator for the @profile@ attribute.
+--
+-- Example:
+--
+-- > div <! profile "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div profile="bar">Hello.</div>
+--
+profile :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+profile = attribute " profile=\""
+{-# INLINE profile #-}
+
+-- | Combinator for the @readonly@ attribute.
+--
+-- Example:
+--
+-- > div <! readonly "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div readonly="bar">Hello.</div>
+--
+readonly :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+readonly = attribute " readonly=\""
+{-# INLINE readonly #-}
+
+-- | Combinator for the @rel@ attribute.
+--
+-- Example:
+--
+-- > div <! rel "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div rel="bar">Hello.</div>
+--
+rel :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+rel = attribute " rel=\""
+{-# INLINE rel #-}
+
+-- | Combinator for the @rev@ attribute.
+--
+-- Example:
+--
+-- > div <! rev "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div rev="bar">Hello.</div>
+--
+rev :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+rev = attribute " rev=\""
+{-# INLINE rev #-}
+
+-- | Combinator for the @rows@ attribute.
+--
+-- Example:
+--
+-- > div <! rows "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div rows="bar">Hello.</div>
+--
+rows :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+rows = attribute " rows=\""
+{-# INLINE rows #-}
+
+-- | Combinator for the @rowspan@ attribute.
+--
+-- Example:
+--
+-- > div <! rowspan "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div rowspan="bar">Hello.</div>
+--
+rowspan :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+rowspan = attribute " rowspan=\""
+{-# INLINE rowspan #-}
+
+-- | Combinator for the @rules@ attribute.
+--
+-- Example:
+--
+-- > div <! rules "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div rules="bar">Hello.</div>
+--
+rules :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+rules = attribute " rules=\""
+{-# INLINE rules #-}
+
+-- | Combinator for the @scheme@ attribute.
+--
+-- Example:
+--
+-- > div <! scheme "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div scheme="bar">Hello.</div>
+--
+scheme :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+scheme = attribute " scheme=\""
+{-# INLINE scheme #-}
+
+-- | Combinator for the @scope@ attribute.
+--
+-- Example:
+--
+-- > div <! scope "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div scope="bar">Hello.</div>
+--
+scope :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+scope = attribute " scope=\""
+{-# INLINE scope #-}
+
+-- | Combinator for the @selected@ attribute.
+--
+-- Example:
+--
+-- > div <! selected "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div selected="bar">Hello.</div>
+--
+selected :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+selected = attribute " selected=\""
+{-# INLINE selected #-}
+
+-- | Combinator for the @shape@ attribute.
+--
+-- Example:
+--
+-- > div <! shape "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div shape="bar">Hello.</div>
+--
+shape :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+shape = attribute " shape=\""
+{-# INLINE shape #-}
+
+-- | Combinator for the @size@ attribute.
+--
+-- Example:
+--
+-- > div <! size "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div size="bar">Hello.</div>
+--
+size :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+size = attribute " size=\""
+{-# INLINE size #-}
+
+-- | Combinator for the @span@ attribute.
+--
+-- Example:
+--
+-- > div <! span "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div span="bar">Hello.</div>
+--
+span :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+span = attribute " span=\""
+{-# INLINE span #-}
+
+-- | Combinator for the @src@ attribute.
+--
+-- Example:
+--
+-- > div <! src "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div src="bar">Hello.</div>
+--
+src :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+src = attribute " src=\""
+{-# INLINE src #-}
+
+-- | Combinator for the @standby@ attribute.
+--
+-- Example:
+--
+-- > div <! standby "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div standby="bar">Hello.</div>
+--
+standby :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+standby = attribute " standby=\""
+{-# INLINE standby #-}
+
+-- | Combinator for the @style@ attribute.
+--
+-- Example:
+--
+-- > div <! style "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div style="bar">Hello.</div>
+--
+style :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+style = attribute " style=\""
+{-# INLINE style #-}
+
+-- | Combinator for the @summary@ attribute.
+--
+-- Example:
+--
+-- > div <! summary "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div summary="bar">Hello.</div>
+--
+summary :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+summary = attribute " summary=\""
+{-# INLINE summary #-}
+
+-- | Combinator for the @tabindex@ attribute.
+--
+-- Example:
+--
+-- > div <! tabindex "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div tabindex="bar">Hello.</div>
+--
+tabindex :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+tabindex = attribute " tabindex=\""
+{-# INLINE tabindex #-}
+
+-- | Combinator for the @title@ attribute.
+--
+-- Example:
+--
+-- > div <! title "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div title="bar">Hello.</div>
+--
+title :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+title = attribute " title=\""
+{-# INLINE title #-}
+
+-- | Combinator for the @type@ attribute.
+--
+-- Example:
+--
+-- > div <! type_ "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div type="bar">Hello.</div>
+--
+type_ :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+type_ = attribute " type=\""
+{-# INLINE type_ #-}
+
+-- | Combinator for the @usemap@ attribute.
+--
+-- Example:
+--
+-- > div <! usemap "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div usemap="bar">Hello.</div>
+--
+usemap :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+usemap = attribute " usemap=\""
+{-# INLINE usemap #-}
+
+-- | Combinator for the @valign@ attribute.
+--
+-- Example:
+--
+-- > div <! valign "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div valign="bar">Hello.</div>
+--
+valign :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+valign = attribute " valign=\""
+{-# INLINE valign #-}
+
+-- | Combinator for the @value@ attribute.
+--
+-- Example:
+--
+-- > div <! value "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div value="bar">Hello.</div>
+--
+value :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+value = attribute " value=\""
+{-# INLINE value #-}
+
+-- | Combinator for the @valuetype@ attribute.
+--
+-- Example:
+--
+-- > div <! valuetype "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div valuetype="bar">Hello.</div>
+--
+valuetype :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+valuetype = attribute " valuetype=\""
+{-# INLINE valuetype #-}
+
+-- | Combinator for the @width@ attribute.
+--
+-- Example:
+--
+-- > div <! width "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div width="bar">Hello.</div>
+--
+width :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+width = attribute " width=\""
+{-# INLINE width #-}
diff --git a/src/Text/Blaze/Html5.hs b/src/Text/Blaze/Html5.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Html5.hs
@@ -0,0 +1,1684 @@
+{-# LANGUAGE OverloadedStrings #-}
+-- | This module exports HTML combinators used to create documents.
+--
+module Text.Blaze.Html5
+    ( module Text.Blaze
+    , html
+    , docType
+    , a
+    , abbr
+    , address
+    , area
+    , article
+    , aside
+    , audio
+    , b
+    , base
+    , bdo
+    , blockquote
+    , body
+    , br
+    , button
+    , canvas
+    , caption
+    , cite
+    , code
+    , col
+    , colgroup
+    , command
+    , datalist
+    , dd
+    , del
+    , details
+    , dfn
+    , div
+    , dl
+    , dt
+    , em
+    , embed
+    , fieldset
+    , figcaption
+    , figure
+    , footer
+    , form
+    , h1
+    , h2
+    , h3
+    , h4
+    , h5
+    , h6
+    , head
+    , header
+    , hgroup
+    , hr
+    , htmlNoDocType
+    , i
+    , iframe
+    , img
+    , input
+    , ins
+    , kbd
+    , keygen
+    , label
+    , legend
+    , li
+    , link
+    , map
+    , mark
+    , menu
+    , meta
+    , meter
+    , nav
+    , noscript
+    , object
+    , ol
+    , optgroup
+    , option
+    , output
+    , p
+    , param
+    , pre
+    , progress
+    , q
+    , rp
+    , rt
+    , ruby
+    , samp
+    , script
+    , section
+    , select
+    , small
+    , source
+    , span
+    , strong
+    , style
+    , sub
+    , summary
+    , sup
+    , table
+    , tbody
+    , td
+    , textarea
+    , tfoot
+    , th
+    , thead
+    , time
+    , title
+    , tr
+    , ul
+    , var
+    , video
+    ) where
+
+import Prelude ()
+import Data.Monoid (mappend)
+
+import Text.Blaze
+import Text.Blaze.Internal (parent, leaf, open)
+
+-- | Combinator for the @\<html>@ element. This combinator will also
+-- insert the correct doctype.
+--
+-- Example:
+--
+-- > html $ span $ text "foo"
+--
+-- Result:
+--
+-- > <!DOCTYPE HTML>
+-- > <html><span>foo</span></html>
+--
+html :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+html inner = docType `mappend` htmlNoDocType inner
+{-# INLINE html #-}
+
+-- | Combinator for the document type. This should be placed at the top
+-- of every HTML page.
+--
+-- Example:
+--
+-- > docType
+--
+-- Result:
+--
+-- > <!DOCTYPE HTML>
+--
+docType :: Html a  -- ^ The document type HTML.
+docType = preEscapedText "<!DOCTYPE HTML>\n"
+{-# INLINE docType #-}
+
+-- | Combinator for the @\<a>@ element.
+--
+-- Example:
+--
+-- > a $ span $ text "foo"
+--
+-- Result:
+--
+-- > <a><span>foo</span></a>
+--
+a :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+a = parent "<a" "</a>"
+{-# INLINE a #-}
+
+-- | Combinator for the @\<abbr>@ element.
+--
+-- Example:
+--
+-- > abbr $ span $ text "foo"
+--
+-- Result:
+--
+-- > <abbr><span>foo</span></abbr>
+--
+abbr :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+abbr = parent "<abbr" "</abbr>"
+{-# INLINE abbr #-}
+
+-- | Combinator for the @\<address>@ element.
+--
+-- Example:
+--
+-- > address $ span $ text "foo"
+--
+-- Result:
+--
+-- > <address><span>foo</span></address>
+--
+address :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+address = parent "<address" "</address>"
+{-# INLINE address #-}
+
+-- | Combinator for the @\<area />@ element.
+--
+-- Example:
+--
+-- > area
+--
+-- Result:
+--
+-- > <area />
+--
+area :: Html a  -- ^ Resulting HTML.
+area = leaf "<area"
+{-# INLINE area #-}
+
+-- | Combinator for the @\<article>@ element.
+--
+-- Example:
+--
+-- > article $ span $ text "foo"
+--
+-- Result:
+--
+-- > <article><span>foo</span></article>
+--
+article :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+article = parent "<article" "</article>"
+{-# INLINE article #-}
+
+-- | Combinator for the @\<aside>@ element.
+--
+-- Example:
+--
+-- > aside $ span $ text "foo"
+--
+-- Result:
+--
+-- > <aside><span>foo</span></aside>
+--
+aside :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+aside = parent "<aside" "</aside>"
+{-# INLINE aside #-}
+
+-- | Combinator for the @\<audio>@ element.
+--
+-- Example:
+--
+-- > audio $ span $ text "foo"
+--
+-- Result:
+--
+-- > <audio><span>foo</span></audio>
+--
+audio :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+audio = parent "<audio" "</audio>"
+{-# INLINE audio #-}
+
+-- | Combinator for the @\<b>@ element.
+--
+-- Example:
+--
+-- > b $ span $ text "foo"
+--
+-- Result:
+--
+-- > <b><span>foo</span></b>
+--
+b :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+b = parent "<b" "</b>"
+{-# INLINE b #-}
+
+-- | Combinator for the @\<base>@ element.
+--
+-- Example:
+--
+-- > base $ span $ text "foo"
+--
+-- Result:
+--
+-- > <base><span>foo</span></base>
+--
+base :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+base = parent "<base" "</base>"
+{-# INLINE base #-}
+
+-- | Combinator for the @\<bdo>@ element.
+--
+-- Example:
+--
+-- > bdo $ span $ text "foo"
+--
+-- Result:
+--
+-- > <bdo><span>foo</span></bdo>
+--
+bdo :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+bdo = parent "<bdo" "</bdo>"
+{-# INLINE bdo #-}
+
+-- | Combinator for the @\<blockquote>@ element.
+--
+-- Example:
+--
+-- > blockquote $ span $ text "foo"
+--
+-- Result:
+--
+-- > <blockquote><span>foo</span></blockquote>
+--
+blockquote :: Html a  -- ^ Inner HTML.
+           -> Html b  -- ^ Resulting HTML.
+blockquote = parent "<blockquote" "</blockquote>"
+{-# INLINE blockquote #-}
+
+-- | Combinator for the @\<body>@ element.
+--
+-- Example:
+--
+-- > body $ span $ text "foo"
+--
+-- Result:
+--
+-- > <body><span>foo</span></body>
+--
+body :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+body = parent "<body" "</body>"
+{-# INLINE body #-}
+
+-- | Combinator for the @\<br />@ element.
+--
+-- Example:
+--
+-- > br
+--
+-- Result:
+--
+-- > <br />
+--
+br :: Html a  -- ^ Resulting HTML.
+br = leaf "<br"
+{-# INLINE br #-}
+
+-- | Combinator for the @\<button>@ element.
+--
+-- Example:
+--
+-- > button $ span $ text "foo"
+--
+-- Result:
+--
+-- > <button><span>foo</span></button>
+--
+button :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+button = parent "<button" "</button>"
+{-# INLINE button #-}
+
+-- | Combinator for the @\<canvas>@ element.
+--
+-- Example:
+--
+-- > canvas $ span $ text "foo"
+--
+-- Result:
+--
+-- > <canvas><span>foo</span></canvas>
+--
+canvas :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+canvas = parent "<canvas" "</canvas>"
+{-# INLINE canvas #-}
+
+-- | Combinator for the @\<caption>@ element.
+--
+-- Example:
+--
+-- > caption $ span $ text "foo"
+--
+-- Result:
+--
+-- > <caption><span>foo</span></caption>
+--
+caption :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+caption = parent "<caption" "</caption>"
+{-# INLINE caption #-}
+
+-- | Combinator for the @\<cite>@ element.
+--
+-- Example:
+--
+-- > cite $ span $ text "foo"
+--
+-- Result:
+--
+-- > <cite><span>foo</span></cite>
+--
+cite :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+cite = parent "<cite" "</cite>"
+{-# INLINE cite #-}
+
+-- | Combinator for the @\<code>@ element.
+--
+-- Example:
+--
+-- > code $ span $ text "foo"
+--
+-- Result:
+--
+-- > <code><span>foo</span></code>
+--
+code :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+code = parent "<code" "</code>"
+{-# INLINE code #-}
+
+-- | Combinator for the @\<col />@ element.
+--
+-- Example:
+--
+-- > col
+--
+-- Result:
+--
+-- > <col />
+--
+col :: Html a  -- ^ Resulting HTML.
+col = leaf "<col"
+{-# INLINE col #-}
+
+-- | Combinator for the @\<colgroup>@ element.
+--
+-- Example:
+--
+-- > colgroup $ span $ text "foo"
+--
+-- Result:
+--
+-- > <colgroup><span>foo</span></colgroup>
+--
+colgroup :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+colgroup = parent "<colgroup" "</colgroup>"
+{-# INLINE colgroup #-}
+
+-- | Combinator for the @\<command>@ element.
+--
+-- Example:
+--
+-- > command $ span $ text "foo"
+--
+-- Result:
+--
+-- > <command><span>foo</span></command>
+--
+command :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+command = parent "<command" "</command>"
+{-# INLINE command #-}
+
+-- | Combinator for the @\<datalist>@ element.
+--
+-- Example:
+--
+-- > datalist $ span $ text "foo"
+--
+-- Result:
+--
+-- > <datalist><span>foo</span></datalist>
+--
+datalist :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+datalist = parent "<datalist" "</datalist>"
+{-# INLINE datalist #-}
+
+-- | Combinator for the @\<dd>@ element.
+--
+-- Example:
+--
+-- > dd $ span $ text "foo"
+--
+-- Result:
+--
+-- > <dd><span>foo</span></dd>
+--
+dd :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+dd = parent "<dd" "</dd>"
+{-# INLINE dd #-}
+
+-- | Combinator for the @\<del>@ element.
+--
+-- Example:
+--
+-- > del $ span $ text "foo"
+--
+-- Result:
+--
+-- > <del><span>foo</span></del>
+--
+del :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+del = parent "<del" "</del>"
+{-# INLINE del #-}
+
+-- | Combinator for the @\<details>@ element.
+--
+-- Example:
+--
+-- > details $ span $ text "foo"
+--
+-- Result:
+--
+-- > <details><span>foo</span></details>
+--
+details :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+details = parent "<details" "</details>"
+{-# INLINE details #-}
+
+-- | Combinator for the @\<dfn>@ element.
+--
+-- Example:
+--
+-- > dfn $ span $ text "foo"
+--
+-- Result:
+--
+-- > <dfn><span>foo</span></dfn>
+--
+dfn :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+dfn = parent "<dfn" "</dfn>"
+{-# INLINE dfn #-}
+
+-- | Combinator for the @\<div>@ element.
+--
+-- Example:
+--
+-- > div $ span $ text "foo"
+--
+-- Result:
+--
+-- > <div><span>foo</span></div>
+--
+div :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+div = parent "<div" "</div>"
+{-# INLINE div #-}
+
+-- | Combinator for the @\<dl>@ element.
+--
+-- Example:
+--
+-- > dl $ span $ text "foo"
+--
+-- Result:
+--
+-- > <dl><span>foo</span></dl>
+--
+dl :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+dl = parent "<dl" "</dl>"
+{-# INLINE dl #-}
+
+-- | Combinator for the @\<dt>@ element.
+--
+-- Example:
+--
+-- > dt $ span $ text "foo"
+--
+-- Result:
+--
+-- > <dt><span>foo</span></dt>
+--
+dt :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+dt = parent "<dt" "</dt>"
+{-# INLINE dt #-}
+
+-- | Combinator for the @\<em>@ element.
+--
+-- Example:
+--
+-- > em $ span $ text "foo"
+--
+-- Result:
+--
+-- > <em><span>foo</span></em>
+--
+em :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+em = parent "<em" "</em>"
+{-# INLINE em #-}
+
+-- | Combinator for the @\<embed />@ element.
+--
+-- Example:
+--
+-- > embed
+--
+-- Result:
+--
+-- > <embed />
+--
+embed :: Html a  -- ^ Resulting HTML.
+embed = leaf "<embed"
+{-# INLINE embed #-}
+
+-- | Combinator for the @\<fieldset>@ element.
+--
+-- Example:
+--
+-- > fieldset $ span $ text "foo"
+--
+-- Result:
+--
+-- > <fieldset><span>foo</span></fieldset>
+--
+fieldset :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+fieldset = parent "<fieldset" "</fieldset>"
+{-# INLINE fieldset #-}
+
+-- | Combinator for the @\<figcaption>@ element.
+--
+-- Example:
+--
+-- > figcaption $ span $ text "foo"
+--
+-- Result:
+--
+-- > <figcaption><span>foo</span></figcaption>
+--
+figcaption :: Html a  -- ^ Inner HTML.
+           -> Html b  -- ^ Resulting HTML.
+figcaption = parent "<figcaption" "</figcaption>"
+{-# INLINE figcaption #-}
+
+-- | Combinator for the @\<figure>@ element.
+--
+-- Example:
+--
+-- > figure $ span $ text "foo"
+--
+-- Result:
+--
+-- > <figure><span>foo</span></figure>
+--
+figure :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+figure = parent "<figure" "</figure>"
+{-# INLINE figure #-}
+
+-- | Combinator for the @\<footer>@ element.
+--
+-- Example:
+--
+-- > footer $ span $ text "foo"
+--
+-- Result:
+--
+-- > <footer><span>foo</span></footer>
+--
+footer :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+footer = parent "<footer" "</footer>"
+{-# INLINE footer #-}
+
+-- | Combinator for the @\<form>@ element.
+--
+-- Example:
+--
+-- > form $ span $ text "foo"
+--
+-- Result:
+--
+-- > <form><span>foo</span></form>
+--
+form :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+form = parent "<form" "</form>"
+{-# INLINE form #-}
+
+-- | Combinator for the @\<h1>@ element.
+--
+-- Example:
+--
+-- > h1 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h1><span>foo</span></h1>
+--
+h1 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h1 = parent "<h1" "</h1>"
+{-# INLINE h1 #-}
+
+-- | Combinator for the @\<h2>@ element.
+--
+-- Example:
+--
+-- > h2 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h2><span>foo</span></h2>
+--
+h2 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h2 = parent "<h2" "</h2>"
+{-# INLINE h2 #-}
+
+-- | Combinator for the @\<h3>@ element.
+--
+-- Example:
+--
+-- > h3 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h3><span>foo</span></h3>
+--
+h3 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h3 = parent "<h3" "</h3>"
+{-# INLINE h3 #-}
+
+-- | Combinator for the @\<h4>@ element.
+--
+-- Example:
+--
+-- > h4 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h4><span>foo</span></h4>
+--
+h4 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h4 = parent "<h4" "</h4>"
+{-# INLINE h4 #-}
+
+-- | Combinator for the @\<h5>@ element.
+--
+-- Example:
+--
+-- > h5 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h5><span>foo</span></h5>
+--
+h5 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h5 = parent "<h5" "</h5>"
+{-# INLINE h5 #-}
+
+-- | Combinator for the @\<h6>@ element.
+--
+-- Example:
+--
+-- > h6 $ span $ text "foo"
+--
+-- Result:
+--
+-- > <h6><span>foo</span></h6>
+--
+h6 :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+h6 = parent "<h6" "</h6>"
+{-# INLINE h6 #-}
+
+-- | Combinator for the @\<head>@ element.
+--
+-- Example:
+--
+-- > head $ span $ text "foo"
+--
+-- Result:
+--
+-- > <head><span>foo</span></head>
+--
+head :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+head = parent "<head" "</head>"
+{-# INLINE head #-}
+
+-- | Combinator for the @\<header>@ element.
+--
+-- Example:
+--
+-- > header $ span $ text "foo"
+--
+-- Result:
+--
+-- > <header><span>foo</span></header>
+--
+header :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+header = parent "<header" "</header>"
+{-# INLINE header #-}
+
+-- | Combinator for the @\<hgroup>@ element.
+--
+-- Example:
+--
+-- > hgroup $ span $ text "foo"
+--
+-- Result:
+--
+-- > <hgroup><span>foo</span></hgroup>
+--
+hgroup :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+hgroup = parent "<hgroup" "</hgroup>"
+{-# INLINE hgroup #-}
+
+-- | Combinator for the @\<hr />@ element.
+--
+-- Example:
+--
+-- > hr
+--
+-- Result:
+--
+-- > <hr />
+--
+hr :: Html a  -- ^ Resulting HTML.
+hr = leaf "<hr"
+{-# INLINE hr #-}
+
+-- | Combinator for the @\<html>@ element.
+--
+-- Example:
+--
+-- > htmlNoDocType $ span $ text "foo"
+--
+-- Result:
+--
+-- > <html><span>foo</span></html>
+--
+htmlNoDocType :: Html a  -- ^ Inner HTML.
+              -> Html b  -- ^ Resulting HTML.
+htmlNoDocType = parent "<html" "</html>"
+{-# INLINE htmlNoDocType #-}
+
+-- | Combinator for the @\<i>@ element.
+--
+-- Example:
+--
+-- > i $ span $ text "foo"
+--
+-- Result:
+--
+-- > <i><span>foo</span></i>
+--
+i :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+i = parent "<i" "</i>"
+{-# INLINE i #-}
+
+-- | Combinator for the @\<iframe>@ element.
+--
+-- Example:
+--
+-- > iframe $ span $ text "foo"
+--
+-- Result:
+--
+-- > <iframe><span>foo</span></iframe>
+--
+iframe :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+iframe = parent "<iframe" "</iframe>"
+{-# INLINE iframe #-}
+
+-- | Combinator for the @\<img />@ element.
+--
+-- Example:
+--
+-- > img
+--
+-- Result:
+--
+-- > <img />
+--
+img :: Html a  -- ^ Resulting HTML.
+img = leaf "<img"
+{-# INLINE img #-}
+
+-- | Combinator for the @\<input />@ element.
+--
+-- Example:
+--
+-- > input
+--
+-- Result:
+--
+-- > <input />
+--
+input :: Html a  -- ^ Resulting HTML.
+input = leaf "<input"
+{-# INLINE input #-}
+
+-- | Combinator for the @\<ins>@ element.
+--
+-- Example:
+--
+-- > ins $ span $ text "foo"
+--
+-- Result:
+--
+-- > <ins><span>foo</span></ins>
+--
+ins :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+ins = parent "<ins" "</ins>"
+{-# INLINE ins #-}
+
+-- | Combinator for the @\<kbd>@ element.
+--
+-- Example:
+--
+-- > kbd $ span $ text "foo"
+--
+-- Result:
+--
+-- > <kbd><span>foo</span></kbd>
+--
+kbd :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+kbd = parent "<kbd" "</kbd>"
+{-# INLINE kbd #-}
+
+-- | Combinator for the @\<keygen>@ element.
+--
+-- Example:
+--
+-- > keygen $ span $ text "foo"
+--
+-- Result:
+--
+-- > <keygen><span>foo</span></keygen>
+--
+keygen :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+keygen = parent "<keygen" "</keygen>"
+{-# INLINE keygen #-}
+
+-- | Combinator for the @\<label>@ element.
+--
+-- Example:
+--
+-- > label $ span $ text "foo"
+--
+-- Result:
+--
+-- > <label><span>foo</span></label>
+--
+label :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+label = parent "<label" "</label>"
+{-# INLINE label #-}
+
+-- | Combinator for the @\<legend>@ element.
+--
+-- Example:
+--
+-- > legend $ span $ text "foo"
+--
+-- Result:
+--
+-- > <legend><span>foo</span></legend>
+--
+legend :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+legend = parent "<legend" "</legend>"
+{-# INLINE legend #-}
+
+-- | Combinator for the @\<li>@ element.
+--
+-- Example:
+--
+-- > li $ span $ text "foo"
+--
+-- Result:
+--
+-- > <li><span>foo</span></li>
+--
+li :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+li = parent "<li" "</li>"
+{-# INLINE li #-}
+
+-- | Combinator for the @\<link />@ element.
+--
+-- Example:
+--
+-- > link
+--
+-- Result:
+--
+-- > <link />
+--
+link :: Html a  -- ^ Resulting HTML.
+link = leaf "<link"
+{-# INLINE link #-}
+
+-- | Combinator for the @\<map>@ element.
+--
+-- Example:
+--
+-- > map $ span $ text "foo"
+--
+-- Result:
+--
+-- > <map><span>foo</span></map>
+--
+map :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+map = parent "<map" "</map>"
+{-# INLINE map #-}
+
+-- | Combinator for the @\<mark>@ element.
+--
+-- Example:
+--
+-- > mark $ span $ text "foo"
+--
+-- Result:
+--
+-- > <mark><span>foo</span></mark>
+--
+mark :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+mark = parent "<mark" "</mark>"
+{-# INLINE mark #-}
+
+-- | Combinator for the @\<menu>@ element.
+--
+-- Example:
+--
+-- > menu $ span $ text "foo"
+--
+-- Result:
+--
+-- > <menu><span>foo</span></menu>
+--
+menu :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+menu = parent "<menu" "</menu>"
+{-# INLINE menu #-}
+
+-- | Combinator for the @\<meta />@ element.
+--
+-- Example:
+--
+-- > meta
+--
+-- Result:
+--
+-- > <meta />
+--
+meta :: Html a  -- ^ Resulting HTML.
+meta = leaf "<meta"
+{-# INLINE meta #-}
+
+-- | Combinator for the @\<meter>@ element.
+--
+-- Example:
+--
+-- > meter $ span $ text "foo"
+--
+-- Result:
+--
+-- > <meter><span>foo</span></meter>
+--
+meter :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+meter = parent "<meter" "</meter>"
+{-# INLINE meter #-}
+
+-- | Combinator for the @\<nav>@ element.
+--
+-- Example:
+--
+-- > nav $ span $ text "foo"
+--
+-- Result:
+--
+-- > <nav><span>foo</span></nav>
+--
+nav :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+nav = parent "<nav" "</nav>"
+{-# INLINE nav #-}
+
+-- | Combinator for the @\<noscript>@ element.
+--
+-- Example:
+--
+-- > noscript $ span $ text "foo"
+--
+-- Result:
+--
+-- > <noscript><span>foo</span></noscript>
+--
+noscript :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+noscript = parent "<noscript" "</noscript>"
+{-# INLINE noscript #-}
+
+-- | Combinator for the @\<object>@ element.
+--
+-- Example:
+--
+-- > object $ span $ text "foo"
+--
+-- Result:
+--
+-- > <object><span>foo</span></object>
+--
+object :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+object = parent "<object" "</object>"
+{-# INLINE object #-}
+
+-- | Combinator for the @\<ol>@ element.
+--
+-- Example:
+--
+-- > ol $ span $ text "foo"
+--
+-- Result:
+--
+-- > <ol><span>foo</span></ol>
+--
+ol :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+ol = parent "<ol" "</ol>"
+{-# INLINE ol #-}
+
+-- | Combinator for the @\<optgroup>@ element.
+--
+-- Example:
+--
+-- > optgroup $ span $ text "foo"
+--
+-- Result:
+--
+-- > <optgroup><span>foo</span></optgroup>
+--
+optgroup :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+optgroup = parent "<optgroup" "</optgroup>"
+{-# INLINE optgroup #-}
+
+-- | Combinator for the @\<option>@ element.
+--
+-- Example:
+--
+-- > option $ span $ text "foo"
+--
+-- Result:
+--
+-- > <option><span>foo</span></option>
+--
+option :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+option = parent "<option" "</option>"
+{-# INLINE option #-}
+
+-- | Combinator for the @\<output>@ element.
+--
+-- Example:
+--
+-- > output $ span $ text "foo"
+--
+-- Result:
+--
+-- > <output><span>foo</span></output>
+--
+output :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+output = parent "<output" "</output>"
+{-# INLINE output #-}
+
+-- | Combinator for the @\<p>@ element.
+--
+-- Example:
+--
+-- > p $ span $ text "foo"
+--
+-- Result:
+--
+-- > <p><span>foo</span></p>
+--
+p :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+p = parent "<p" "</p>"
+{-# INLINE p #-}
+
+-- | Combinator for the @\<param />@ element.
+--
+-- Example:
+--
+-- > param
+--
+-- Result:
+--
+-- > <param />
+--
+param :: Html a  -- ^ Resulting HTML.
+param = leaf "<param"
+{-# INLINE param #-}
+
+-- | Combinator for the @\<pre>@ element.
+--
+-- Example:
+--
+-- > pre $ span $ text "foo"
+--
+-- Result:
+--
+-- > <pre><span>foo</span></pre>
+--
+pre :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+pre = parent "<pre" "</pre>"
+{-# INLINE pre #-}
+
+-- | Combinator for the @\<progress>@ element.
+--
+-- Example:
+--
+-- > progress $ span $ text "foo"
+--
+-- Result:
+--
+-- > <progress><span>foo</span></progress>
+--
+progress :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+progress = parent "<progress" "</progress>"
+{-# INLINE progress #-}
+
+-- | Combinator for the @\<q>@ element.
+--
+-- Example:
+--
+-- > q $ span $ text "foo"
+--
+-- Result:
+--
+-- > <q><span>foo</span></q>
+--
+q :: Html a  -- ^ Inner HTML.
+  -> Html b  -- ^ Resulting HTML.
+q = parent "<q" "</q>"
+{-# INLINE q #-}
+
+-- | Combinator for the @\<rp>@ element.
+--
+-- Example:
+--
+-- > rp $ span $ text "foo"
+--
+-- Result:
+--
+-- > <rp><span>foo</span></rp>
+--
+rp :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+rp = parent "<rp" "</rp>"
+{-# INLINE rp #-}
+
+-- | Combinator for the @\<rt>@ element.
+--
+-- Example:
+--
+-- > rt $ span $ text "foo"
+--
+-- Result:
+--
+-- > <rt><span>foo</span></rt>
+--
+rt :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+rt = parent "<rt" "</rt>"
+{-# INLINE rt #-}
+
+-- | Combinator for the @\<ruby>@ element.
+--
+-- Example:
+--
+-- > ruby $ span $ text "foo"
+--
+-- Result:
+--
+-- > <ruby><span>foo</span></ruby>
+--
+ruby :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+ruby = parent "<ruby" "</ruby>"
+{-# INLINE ruby #-}
+
+-- | Combinator for the @\<samp>@ element.
+--
+-- Example:
+--
+-- > samp $ span $ text "foo"
+--
+-- Result:
+--
+-- > <samp><span>foo</span></samp>
+--
+samp :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+samp = parent "<samp" "</samp>"
+{-# INLINE samp #-}
+
+-- | Combinator for the @\<script>@ element.
+--
+-- Example:
+--
+-- > script $ span $ text "foo"
+--
+-- Result:
+--
+-- > <script><span>foo</span></script>
+--
+script :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+script = parent "<script" "</script>"
+{-# INLINE script #-}
+
+-- | Combinator for the @\<section>@ element.
+--
+-- Example:
+--
+-- > section $ span $ text "foo"
+--
+-- Result:
+--
+-- > <section><span>foo</span></section>
+--
+section :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+section = parent "<section" "</section>"
+{-# INLINE section #-}
+
+-- | Combinator for the @\<select>@ element.
+--
+-- Example:
+--
+-- > select $ span $ text "foo"
+--
+-- Result:
+--
+-- > <select><span>foo</span></select>
+--
+select :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+select = parent "<select" "</select>"
+{-# INLINE select #-}
+
+-- | Combinator for the @\<small>@ element.
+--
+-- Example:
+--
+-- > small $ span $ text "foo"
+--
+-- Result:
+--
+-- > <small><span>foo</span></small>
+--
+small :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+small = parent "<small" "</small>"
+{-# INLINE small #-}
+
+-- | Combinator for the @\<source>@ element.
+--
+-- Example:
+--
+-- > source $ span $ text "foo"
+--
+-- Result:
+--
+-- > <source><span>foo</span></source>
+--
+source :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+source = parent "<source" "</source>"
+{-# INLINE source #-}
+
+-- | Combinator for the @\<span>@ element.
+--
+-- Example:
+--
+-- > span $ span $ text "foo"
+--
+-- Result:
+--
+-- > <span><span>foo</span></span>
+--
+span :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+span = parent "<span" "</span>"
+{-# INLINE span #-}
+
+-- | Combinator for the @\<strong>@ element.
+--
+-- Example:
+--
+-- > strong $ span $ text "foo"
+--
+-- Result:
+--
+-- > <strong><span>foo</span></strong>
+--
+strong :: Html a  -- ^ Inner HTML.
+       -> Html b  -- ^ Resulting HTML.
+strong = parent "<strong" "</strong>"
+{-# INLINE strong #-}
+
+-- | Combinator for the @\<style>@ element.
+--
+-- Example:
+--
+-- > style $ span $ text "foo"
+--
+-- Result:
+--
+-- > <style><span>foo</span></style>
+--
+style :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+style = parent "<style" "</style>"
+{-# INLINE style #-}
+
+-- | Combinator for the @\<sub>@ element.
+--
+-- Example:
+--
+-- > sub $ span $ text "foo"
+--
+-- Result:
+--
+-- > <sub><span>foo</span></sub>
+--
+sub :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+sub = parent "<sub" "</sub>"
+{-# INLINE sub #-}
+
+-- | Combinator for the @\<summary>@ element.
+--
+-- Example:
+--
+-- > summary $ span $ text "foo"
+--
+-- Result:
+--
+-- > <summary><span>foo</span></summary>
+--
+summary :: Html a  -- ^ Inner HTML.
+        -> Html b  -- ^ Resulting HTML.
+summary = parent "<summary" "</summary>"
+{-# INLINE summary #-}
+
+-- | Combinator for the @\<sup>@ element.
+--
+-- Example:
+--
+-- > sup $ span $ text "foo"
+--
+-- Result:
+--
+-- > <sup><span>foo</span></sup>
+--
+sup :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+sup = parent "<sup" "</sup>"
+{-# INLINE sup #-}
+
+-- | Combinator for the @\<table>@ element.
+--
+-- Example:
+--
+-- > table $ span $ text "foo"
+--
+-- Result:
+--
+-- > <table><span>foo</span></table>
+--
+table :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+table = parent "<table" "</table>"
+{-# INLINE table #-}
+
+-- | Combinator for the @\<tbody>@ element.
+--
+-- Example:
+--
+-- > tbody $ span $ text "foo"
+--
+-- Result:
+--
+-- > <tbody><span>foo</span></tbody>
+--
+tbody :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+tbody = parent "<tbody" "</tbody>"
+{-# INLINE tbody #-}
+
+-- | Combinator for the @\<td>@ element.
+--
+-- Example:
+--
+-- > td $ span $ text "foo"
+--
+-- Result:
+--
+-- > <td><span>foo</span></td>
+--
+td :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+td = parent "<td" "</td>"
+{-# INLINE td #-}
+
+-- | Combinator for the @\<textarea>@ element.
+--
+-- Example:
+--
+-- > textarea $ span $ text "foo"
+--
+-- Result:
+--
+-- > <textarea><span>foo</span></textarea>
+--
+textarea :: Html a  -- ^ Inner HTML.
+         -> Html b  -- ^ Resulting HTML.
+textarea = parent "<textarea" "</textarea>"
+{-# INLINE textarea #-}
+
+-- | Combinator for the @\<tfoot>@ element.
+--
+-- Example:
+--
+-- > tfoot $ span $ text "foo"
+--
+-- Result:
+--
+-- > <tfoot><span>foo</span></tfoot>
+--
+tfoot :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+tfoot = parent "<tfoot" "</tfoot>"
+{-# INLINE tfoot #-}
+
+-- | Combinator for the @\<th>@ element.
+--
+-- Example:
+--
+-- > th $ span $ text "foo"
+--
+-- Result:
+--
+-- > <th><span>foo</span></th>
+--
+th :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+th = parent "<th" "</th>"
+{-# INLINE th #-}
+
+-- | Combinator for the @\<thead>@ element.
+--
+-- Example:
+--
+-- > thead $ span $ text "foo"
+--
+-- Result:
+--
+-- > <thead><span>foo</span></thead>
+--
+thead :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+thead = parent "<thead" "</thead>"
+{-# INLINE thead #-}
+
+-- | Combinator for the @\<time>@ element.
+--
+-- Example:
+--
+-- > time $ span $ text "foo"
+--
+-- Result:
+--
+-- > <time><span>foo</span></time>
+--
+time :: Html a  -- ^ Inner HTML.
+     -> Html b  -- ^ Resulting HTML.
+time = parent "<time" "</time>"
+{-# INLINE time #-}
+
+-- | Combinator for the @\<title>@ element.
+--
+-- Example:
+--
+-- > title $ span $ text "foo"
+--
+-- Result:
+--
+-- > <title><span>foo</span></title>
+--
+title :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+title = parent "<title" "</title>"
+{-# INLINE title #-}
+
+-- | Combinator for the @\<tr>@ element.
+--
+-- Example:
+--
+-- > tr $ span $ text "foo"
+--
+-- Result:
+--
+-- > <tr><span>foo</span></tr>
+--
+tr :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+tr = parent "<tr" "</tr>"
+{-# INLINE tr #-}
+
+-- | Combinator for the @\<ul>@ element.
+--
+-- Example:
+--
+-- > ul $ span $ text "foo"
+--
+-- Result:
+--
+-- > <ul><span>foo</span></ul>
+--
+ul :: Html a  -- ^ Inner HTML.
+   -> Html b  -- ^ Resulting HTML.
+ul = parent "<ul" "</ul>"
+{-# INLINE ul #-}
+
+-- | Combinator for the @\<var>@ element.
+--
+-- Example:
+--
+-- > var $ span $ text "foo"
+--
+-- Result:
+--
+-- > <var><span>foo</span></var>
+--
+var :: Html a  -- ^ Inner HTML.
+    -> Html b  -- ^ Resulting HTML.
+var = parent "<var" "</var>"
+{-# INLINE var #-}
+
+-- | Combinator for the @\<video>@ element.
+--
+-- Example:
+--
+-- > video $ span $ text "foo"
+--
+-- Result:
+--
+-- > <video><span>foo</span></video>
+--
+video :: Html a  -- ^ Inner HTML.
+      -> Html b  -- ^ Resulting HTML.
+video = parent "<video" "</video>"
+{-# INLINE video #-}
diff --git a/src/Text/Blaze/Html5/Attributes.hs b/src/Text/Blaze/Html5/Attributes.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Html5/Attributes.hs
@@ -0,0 +1,1948 @@
+{-# LANGUAGE OverloadedStrings #-}
+-- | This module exports combinators that provide you with the
+-- ability to set attributes on HTML elements.
+--
+module Text.Blaze.Html5.Attributes
+    ( accept
+    , accept_charset
+    , accesskey
+    , action
+    , alt
+    , async
+    , autocomplete
+    , autofocus
+    , autoplay
+    , challenge
+    , charset
+    , checked
+    , cite
+    , class_
+    , cols
+    , colspan
+    , content
+    , contenteditable
+    , contextmenu
+    , controls
+    , coords
+    , data_
+    , datetime
+    , defer
+    , dir
+    , disabled
+    , draggable
+    , enctype
+    , for
+    , form
+    , formaction
+    , formenctype
+    , formmethod
+    , formnovalidate
+    , formtarget
+    , headers
+    , height
+    , hidden
+    , high
+    , href
+    , hreflang
+    , http_equiv
+    , icon
+    , id
+    , ismap
+    , item
+    , itemprop
+    , keytype
+    , label
+    , lang
+    , list
+    , loop
+    , low
+    , manifest
+    , max
+    , maxlength
+    , media
+    , method
+    , min
+    , multiple
+    , name
+    , novalidate
+    , onafterprint
+    , onbeforeonload
+    , onbeforeprint
+    , onblur
+    , onerror
+    , onfocus
+    , onhaschange
+    , onload
+    , onmessage
+    , onoffline
+    , ononline
+    , onpagehide
+    , onpageshow
+    , onpropstate
+    , onredo
+    , onresize
+    , onstorage
+    , onundo
+    , onunload
+    , open
+    , optimum
+    , pattern
+    , ping
+    , placeholder
+    , preload
+    , pubdate
+    , radiogroup
+    , readonly
+    , rel
+    , required
+    , reversed
+    , rows
+    , rowspan
+    , sandbox
+    , scope
+    , scoped
+    , seamless
+    , selected
+    , shape
+    , size
+    , sizes
+    , span
+    , spellcheck
+    , src
+    , srcdoc
+    , start
+    , step
+    , style
+    , subject
+    , summary
+    , tabindex
+    , target
+    , title
+    , type_
+    , usemap
+    , value
+    , width
+    , wrap
+    , xmlns
+    ) where
+
+import Prelude ()
+
+import Data.Text (Text)
+
+import Text.Blaze.Internal (Attribute, AttributeValue, attribute)
+
+-- | Combinator for the @accept@ attribute.
+--
+-- Example:
+--
+-- > div <! accept "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div accept="bar">Hello.</div>
+--
+accept :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+accept = attribute " accept=\""
+{-# INLINE accept #-}
+
+-- | Combinator for the @accept-charset@ attribute.
+--
+-- Example:
+--
+-- > div <! accept_charset "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div accept-charset="bar">Hello.</div>
+--
+accept_charset :: AttributeValue  -- ^ Attribute value.
+               -> Attribute       -- ^ Resulting attribute.
+accept_charset = attribute " accept-charset=\""
+{-# INLINE accept_charset #-}
+
+-- | Combinator for the @accesskey@ attribute.
+--
+-- Example:
+--
+-- > div <! accesskey "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div accesskey="bar">Hello.</div>
+--
+accesskey :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+accesskey = attribute " accesskey=\""
+{-# INLINE accesskey #-}
+
+-- | Combinator for the @action@ attribute.
+--
+-- Example:
+--
+-- > div <! action "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div action="bar">Hello.</div>
+--
+action :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+action = attribute " action=\""
+{-# INLINE action #-}
+
+-- | Combinator for the @alt@ attribute.
+--
+-- Example:
+--
+-- > div <! alt "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div alt="bar">Hello.</div>
+--
+alt :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+alt = attribute " alt=\""
+{-# INLINE alt #-}
+
+-- | Combinator for the @async@ attribute.
+--
+-- Example:
+--
+-- > div <! async "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div async="bar">Hello.</div>
+--
+async :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+async = attribute " async=\""
+{-# INLINE async #-}
+
+-- | Combinator for the @autocomplete@ attribute.
+--
+-- Example:
+--
+-- > div <! autocomplete "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div autocomplete="bar">Hello.</div>
+--
+autocomplete :: AttributeValue  -- ^ Attribute value.
+             -> Attribute       -- ^ Resulting attribute.
+autocomplete = attribute " autocomplete=\""
+{-# INLINE autocomplete #-}
+
+-- | Combinator for the @autofocus@ attribute.
+--
+-- Example:
+--
+-- > div <! autofocus "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div autofocus="bar">Hello.</div>
+--
+autofocus :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+autofocus = attribute " autofocus=\""
+{-# INLINE autofocus #-}
+
+-- | Combinator for the @autoplay@ attribute.
+--
+-- Example:
+--
+-- > div <! autoplay "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div autoplay="bar">Hello.</div>
+--
+autoplay :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+autoplay = attribute " autoplay=\""
+{-# INLINE autoplay #-}
+
+-- | Combinator for the @challenge@ attribute.
+--
+-- Example:
+--
+-- > div <! challenge "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div challenge="bar">Hello.</div>
+--
+challenge :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+challenge = attribute " challenge=\""
+{-# INLINE challenge #-}
+
+-- | Combinator for the @charset@ attribute.
+--
+-- Example:
+--
+-- > div <! charset "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div charset="bar">Hello.</div>
+--
+charset :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+charset = attribute " charset=\""
+{-# INLINE charset #-}
+
+-- | Combinator for the @checked@ attribute.
+--
+-- Example:
+--
+-- > div <! checked "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div checked="bar">Hello.</div>
+--
+checked :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+checked = attribute " checked=\""
+{-# INLINE checked #-}
+
+-- | Combinator for the @cite@ attribute.
+--
+-- Example:
+--
+-- > div <! cite "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div cite="bar">Hello.</div>
+--
+cite :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+cite = attribute " cite=\""
+{-# INLINE cite #-}
+
+-- | Combinator for the @class@ attribute.
+--
+-- Example:
+--
+-- > div <! class_ "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div class="bar">Hello.</div>
+--
+class_ :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+class_ = attribute " class=\""
+{-# INLINE class_ #-}
+
+-- | Combinator for the @cols@ attribute.
+--
+-- Example:
+--
+-- > div <! cols "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div cols="bar">Hello.</div>
+--
+cols :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+cols = attribute " cols=\""
+{-# INLINE cols #-}
+
+-- | Combinator for the @colspan@ attribute.
+--
+-- Example:
+--
+-- > div <! colspan "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div colspan="bar">Hello.</div>
+--
+colspan :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+colspan = attribute " colspan=\""
+{-# INLINE colspan #-}
+
+-- | Combinator for the @content@ attribute.
+--
+-- Example:
+--
+-- > div <! content "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div content="bar">Hello.</div>
+--
+content :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+content = attribute " content=\""
+{-# INLINE content #-}
+
+-- | Combinator for the @contenteditable@ attribute.
+--
+-- Example:
+--
+-- > div <! contenteditable "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div contenteditable="bar">Hello.</div>
+--
+contenteditable :: AttributeValue  -- ^ Attribute value.
+                -> Attribute       -- ^ Resulting attribute.
+contenteditable = attribute " contenteditable=\""
+{-# INLINE contenteditable #-}
+
+-- | Combinator for the @contextmenu@ attribute.
+--
+-- Example:
+--
+-- > div <! contextmenu "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div contextmenu="bar">Hello.</div>
+--
+contextmenu :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+contextmenu = attribute " contextmenu=\""
+{-# INLINE contextmenu #-}
+
+-- | Combinator for the @controls@ attribute.
+--
+-- Example:
+--
+-- > div <! controls "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div controls="bar">Hello.</div>
+--
+controls :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+controls = attribute " controls=\""
+{-# INLINE controls #-}
+
+-- | Combinator for the @coords@ attribute.
+--
+-- Example:
+--
+-- > div <! coords "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div coords="bar">Hello.</div>
+--
+coords :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+coords = attribute " coords=\""
+{-# INLINE coords #-}
+
+-- | Combinator for the @data@ attribute.
+--
+-- Example:
+--
+-- > div <! data_ "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div data="bar">Hello.</div>
+--
+data_ :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+data_ = attribute " data=\""
+{-# INLINE data_ #-}
+
+-- | Combinator for the @datetime@ attribute.
+--
+-- Example:
+--
+-- > div <! datetime "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div datetime="bar">Hello.</div>
+--
+datetime :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+datetime = attribute " datetime=\""
+{-# INLINE datetime #-}
+
+-- | Combinator for the @defer@ attribute.
+--
+-- Example:
+--
+-- > div <! defer "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div defer="bar">Hello.</div>
+--
+defer :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+defer = attribute " defer=\""
+{-# INLINE defer #-}
+
+-- | Combinator for the @dir@ attribute.
+--
+-- Example:
+--
+-- > div <! dir "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div dir="bar">Hello.</div>
+--
+dir :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+dir = attribute " dir=\""
+{-# INLINE dir #-}
+
+-- | Combinator for the @disabled@ attribute.
+--
+-- Example:
+--
+-- > div <! disabled "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div disabled="bar">Hello.</div>
+--
+disabled :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+disabled = attribute " disabled=\""
+{-# INLINE disabled #-}
+
+-- | Combinator for the @draggable@ attribute.
+--
+-- Example:
+--
+-- > div <! draggable "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div draggable="bar">Hello.</div>
+--
+draggable :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+draggable = attribute " draggable=\""
+{-# INLINE draggable #-}
+
+-- | Combinator for the @enctype@ attribute.
+--
+-- Example:
+--
+-- > div <! enctype "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div enctype="bar">Hello.</div>
+--
+enctype :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+enctype = attribute " enctype=\""
+{-# INLINE enctype #-}
+
+-- | Combinator for the @for@ attribute.
+--
+-- Example:
+--
+-- > div <! for "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div for="bar">Hello.</div>
+--
+for :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+for = attribute " for=\""
+{-# INLINE for #-}
+
+-- | Combinator for the @form@ attribute.
+--
+-- Example:
+--
+-- > div <! form "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div form="bar">Hello.</div>
+--
+form :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+form = attribute " form=\""
+{-# INLINE form #-}
+
+-- | Combinator for the @formaction@ attribute.
+--
+-- Example:
+--
+-- > div <! formaction "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div formaction="bar">Hello.</div>
+--
+formaction :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+formaction = attribute " formaction=\""
+{-# INLINE formaction #-}
+
+-- | Combinator for the @formenctype@ attribute.
+--
+-- Example:
+--
+-- > div <! formenctype "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div formenctype="bar">Hello.</div>
+--
+formenctype :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+formenctype = attribute " formenctype=\""
+{-# INLINE formenctype #-}
+
+-- | Combinator for the @formmethod@ attribute.
+--
+-- Example:
+--
+-- > div <! formmethod "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div formmethod="bar">Hello.</div>
+--
+formmethod :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+formmethod = attribute " formmethod=\""
+{-# INLINE formmethod #-}
+
+-- | Combinator for the @formnovalidate@ attribute.
+--
+-- Example:
+--
+-- > div <! formnovalidate "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div formnovalidate="bar">Hello.</div>
+--
+formnovalidate :: AttributeValue  -- ^ Attribute value.
+               -> Attribute       -- ^ Resulting attribute.
+formnovalidate = attribute " formnovalidate=\""
+{-# INLINE formnovalidate #-}
+
+-- | Combinator for the @formtarget@ attribute.
+--
+-- Example:
+--
+-- > div <! formtarget "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div formtarget="bar">Hello.</div>
+--
+formtarget :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+formtarget = attribute " formtarget=\""
+{-# INLINE formtarget #-}
+
+-- | Combinator for the @headers@ attribute.
+--
+-- Example:
+--
+-- > div <! headers "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div headers="bar">Hello.</div>
+--
+headers :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+headers = attribute " headers=\""
+{-# INLINE headers #-}
+
+-- | Combinator for the @height@ attribute.
+--
+-- Example:
+--
+-- > div <! height "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div height="bar">Hello.</div>
+--
+height :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+height = attribute " height=\""
+{-# INLINE height #-}
+
+-- | Combinator for the @hidden@ attribute.
+--
+-- Example:
+--
+-- > div <! hidden "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div hidden="bar">Hello.</div>
+--
+hidden :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+hidden = attribute " hidden=\""
+{-# INLINE hidden #-}
+
+-- | Combinator for the @high@ attribute.
+--
+-- Example:
+--
+-- > div <! high "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div high="bar">Hello.</div>
+--
+high :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+high = attribute " high=\""
+{-# INLINE high #-}
+
+-- | Combinator for the @href@ attribute.
+--
+-- Example:
+--
+-- > div <! href "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div href="bar">Hello.</div>
+--
+href :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+href = attribute " href=\""
+{-# INLINE href #-}
+
+-- | Combinator for the @hreflang@ attribute.
+--
+-- Example:
+--
+-- > div <! hreflang "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div hreflang="bar">Hello.</div>
+--
+hreflang :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+hreflang = attribute " hreflang=\""
+{-# INLINE hreflang #-}
+
+-- | Combinator for the @http-equiv@ attribute.
+--
+-- Example:
+--
+-- > div <! http_equiv "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div http-equiv="bar">Hello.</div>
+--
+http_equiv :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+http_equiv = attribute " http-equiv=\""
+{-# INLINE http_equiv #-}
+
+-- | Combinator for the @icon@ attribute.
+--
+-- Example:
+--
+-- > div <! icon "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div icon="bar">Hello.</div>
+--
+icon :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+icon = attribute " icon=\""
+{-# INLINE icon #-}
+
+-- | Combinator for the @id@ attribute.
+--
+-- Example:
+--
+-- > div <! id "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div id="bar">Hello.</div>
+--
+id :: AttributeValue  -- ^ Attribute value.
+   -> Attribute       -- ^ Resulting attribute.
+id = attribute " id=\""
+{-# INLINE id #-}
+
+-- | Combinator for the @ismap@ attribute.
+--
+-- Example:
+--
+-- > div <! ismap "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div ismap="bar">Hello.</div>
+--
+ismap :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+ismap = attribute " ismap=\""
+{-# INLINE ismap #-}
+
+-- | Combinator for the @item@ attribute.
+--
+-- Example:
+--
+-- > div <! item "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div item="bar">Hello.</div>
+--
+item :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+item = attribute " item=\""
+{-# INLINE item #-}
+
+-- | Combinator for the @itemprop@ attribute.
+--
+-- Example:
+--
+-- > div <! itemprop "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div itemprop="bar">Hello.</div>
+--
+itemprop :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+itemprop = attribute " itemprop=\""
+{-# INLINE itemprop #-}
+
+-- | Combinator for the @keytype@ attribute.
+--
+-- Example:
+--
+-- > div <! keytype "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div keytype="bar">Hello.</div>
+--
+keytype :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+keytype = attribute " keytype=\""
+{-# INLINE keytype #-}
+
+-- | Combinator for the @label@ attribute.
+--
+-- Example:
+--
+-- > div <! label "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div label="bar">Hello.</div>
+--
+label :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+label = attribute " label=\""
+{-# INLINE label #-}
+
+-- | Combinator for the @lang@ attribute.
+--
+-- Example:
+--
+-- > div <! lang "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div lang="bar">Hello.</div>
+--
+lang :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+lang = attribute " lang=\""
+{-# INLINE lang #-}
+
+-- | Combinator for the @list@ attribute.
+--
+-- Example:
+--
+-- > div <! list "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div list="bar">Hello.</div>
+--
+list :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+list = attribute " list=\""
+{-# INLINE list #-}
+
+-- | Combinator for the @loop@ attribute.
+--
+-- Example:
+--
+-- > div <! loop "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div loop="bar">Hello.</div>
+--
+loop :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+loop = attribute " loop=\""
+{-# INLINE loop #-}
+
+-- | Combinator for the @low@ attribute.
+--
+-- Example:
+--
+-- > div <! low "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div low="bar">Hello.</div>
+--
+low :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+low = attribute " low=\""
+{-# INLINE low #-}
+
+-- | Combinator for the @manifest@ attribute.
+--
+-- Example:
+--
+-- > div <! manifest "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div manifest="bar">Hello.</div>
+--
+manifest :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+manifest = attribute " manifest=\""
+{-# INLINE manifest #-}
+
+-- | Combinator for the @max@ attribute.
+--
+-- Example:
+--
+-- > div <! max "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div max="bar">Hello.</div>
+--
+max :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+max = attribute " max=\""
+{-# INLINE max #-}
+
+-- | Combinator for the @maxlength@ attribute.
+--
+-- Example:
+--
+-- > div <! maxlength "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div maxlength="bar">Hello.</div>
+--
+maxlength :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+maxlength = attribute " maxlength=\""
+{-# INLINE maxlength #-}
+
+-- | Combinator for the @media@ attribute.
+--
+-- Example:
+--
+-- > div <! media "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div media="bar">Hello.</div>
+--
+media :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+media = attribute " media=\""
+{-# INLINE media #-}
+
+-- | Combinator for the @method@ attribute.
+--
+-- Example:
+--
+-- > div <! method "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div method="bar">Hello.</div>
+--
+method :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+method = attribute " method=\""
+{-# INLINE method #-}
+
+-- | Combinator for the @min@ attribute.
+--
+-- Example:
+--
+-- > div <! min "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div min="bar">Hello.</div>
+--
+min :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+min = attribute " min=\""
+{-# INLINE min #-}
+
+-- | Combinator for the @multiple@ attribute.
+--
+-- Example:
+--
+-- > div <! multiple "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div multiple="bar">Hello.</div>
+--
+multiple :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+multiple = attribute " multiple=\""
+{-# INLINE multiple #-}
+
+-- | Combinator for the @name@ attribute.
+--
+-- Example:
+--
+-- > div <! name "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div name="bar">Hello.</div>
+--
+name :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+name = attribute " name=\""
+{-# INLINE name #-}
+
+-- | Combinator for the @novalidate@ attribute.
+--
+-- Example:
+--
+-- > div <! novalidate "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div novalidate="bar">Hello.</div>
+--
+novalidate :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+novalidate = attribute " novalidate=\""
+{-# INLINE novalidate #-}
+
+-- | Combinator for the @onafterprint@ attribute.
+--
+-- Example:
+--
+-- > div <! onafterprint "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onafterprint="bar">Hello.</div>
+--
+onafterprint :: AttributeValue  -- ^ Attribute value.
+             -> Attribute       -- ^ Resulting attribute.
+onafterprint = attribute " onafterprint=\""
+{-# INLINE onafterprint #-}
+
+-- | Combinator for the @onbeforeonload@ attribute.
+--
+-- Example:
+--
+-- > div <! onbeforeonload "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onbeforeonload="bar">Hello.</div>
+--
+onbeforeonload :: AttributeValue  -- ^ Attribute value.
+               -> Attribute       -- ^ Resulting attribute.
+onbeforeonload = attribute " onbeforeonload=\""
+{-# INLINE onbeforeonload #-}
+
+-- | Combinator for the @onbeforeprint@ attribute.
+--
+-- Example:
+--
+-- > div <! onbeforeprint "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onbeforeprint="bar">Hello.</div>
+--
+onbeforeprint :: AttributeValue  -- ^ Attribute value.
+              -> Attribute       -- ^ Resulting attribute.
+onbeforeprint = attribute " onbeforeprint=\""
+{-# INLINE onbeforeprint #-}
+
+-- | Combinator for the @onblur@ attribute.
+--
+-- Example:
+--
+-- > div <! onblur "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onblur="bar">Hello.</div>
+--
+onblur :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+onblur = attribute " onblur=\""
+{-# INLINE onblur #-}
+
+-- | Combinator for the @onerror@ attribute.
+--
+-- Example:
+--
+-- > div <! onerror "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onerror="bar">Hello.</div>
+--
+onerror :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+onerror = attribute " onerror=\""
+{-# INLINE onerror #-}
+
+-- | Combinator for the @onfocus@ attribute.
+--
+-- Example:
+--
+-- > div <! onfocus "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onfocus="bar">Hello.</div>
+--
+onfocus :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+onfocus = attribute " onfocus=\""
+{-# INLINE onfocus #-}
+
+-- | Combinator for the @onhaschange@ attribute.
+--
+-- Example:
+--
+-- > div <! onhaschange "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onhaschange="bar">Hello.</div>
+--
+onhaschange :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+onhaschange = attribute " onhaschange=\""
+{-# INLINE onhaschange #-}
+
+-- | Combinator for the @onload@ attribute.
+--
+-- Example:
+--
+-- > div <! onload "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onload="bar">Hello.</div>
+--
+onload :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+onload = attribute " onload=\""
+{-# INLINE onload #-}
+
+-- | Combinator for the @onmessage@ attribute.
+--
+-- Example:
+--
+-- > div <! onmessage "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onmessage="bar">Hello.</div>
+--
+onmessage :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+onmessage = attribute " onmessage=\""
+{-# INLINE onmessage #-}
+
+-- | Combinator for the @onoffline@ attribute.
+--
+-- Example:
+--
+-- > div <! onoffline "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onoffline="bar">Hello.</div>
+--
+onoffline :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+onoffline = attribute " onoffline=\""
+{-# INLINE onoffline #-}
+
+-- | Combinator for the @ononline@ attribute.
+--
+-- Example:
+--
+-- > div <! ononline "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div ononline="bar">Hello.</div>
+--
+ononline :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+ononline = attribute " ononline=\""
+{-# INLINE ononline #-}
+
+-- | Combinator for the @onpagehide@ attribute.
+--
+-- Example:
+--
+-- > div <! onpagehide "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onpagehide="bar">Hello.</div>
+--
+onpagehide :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+onpagehide = attribute " onpagehide=\""
+{-# INLINE onpagehide #-}
+
+-- | Combinator for the @onpageshow@ attribute.
+--
+-- Example:
+--
+-- > div <! onpageshow "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onpageshow="bar">Hello.</div>
+--
+onpageshow :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+onpageshow = attribute " onpageshow=\""
+{-# INLINE onpageshow #-}
+
+-- | Combinator for the @onpropstate@ attribute.
+--
+-- Example:
+--
+-- > div <! onpropstate "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onpropstate="bar">Hello.</div>
+--
+onpropstate :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+onpropstate = attribute " onpropstate=\""
+{-# INLINE onpropstate #-}
+
+-- | Combinator for the @onredo@ attribute.
+--
+-- Example:
+--
+-- > div <! onredo "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onredo="bar">Hello.</div>
+--
+onredo :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+onredo = attribute " onredo=\""
+{-# INLINE onredo #-}
+
+-- | Combinator for the @onresize@ attribute.
+--
+-- Example:
+--
+-- > div <! onresize "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onresize="bar">Hello.</div>
+--
+onresize :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+onresize = attribute " onresize=\""
+{-# INLINE onresize #-}
+
+-- | Combinator for the @onstorage@ attribute.
+--
+-- Example:
+--
+-- > div <! onstorage "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onstorage="bar">Hello.</div>
+--
+onstorage :: AttributeValue  -- ^ Attribute value.
+          -> Attribute       -- ^ Resulting attribute.
+onstorage = attribute " onstorage=\""
+{-# INLINE onstorage #-}
+
+-- | Combinator for the @onundo@ attribute.
+--
+-- Example:
+--
+-- > div <! onundo "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onundo="bar">Hello.</div>
+--
+onundo :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+onundo = attribute " onundo=\""
+{-# INLINE onundo #-}
+
+-- | Combinator for the @onunload@ attribute.
+--
+-- Example:
+--
+-- > div <! onunload "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div onunload="bar">Hello.</div>
+--
+onunload :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+onunload = attribute " onunload=\""
+{-# INLINE onunload #-}
+
+-- | Combinator for the @open@ attribute.
+--
+-- Example:
+--
+-- > div <! open "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div open="bar">Hello.</div>
+--
+open :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+open = attribute " open=\""
+{-# INLINE open #-}
+
+-- | Combinator for the @optimum@ attribute.
+--
+-- Example:
+--
+-- > div <! optimum "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div optimum="bar">Hello.</div>
+--
+optimum :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+optimum = attribute " optimum=\""
+{-# INLINE optimum #-}
+
+-- | Combinator for the @pattern@ attribute.
+--
+-- Example:
+--
+-- > div <! pattern "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div pattern="bar">Hello.</div>
+--
+pattern :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+pattern = attribute " pattern=\""
+{-# INLINE pattern #-}
+
+-- | Combinator for the @ping@ attribute.
+--
+-- Example:
+--
+-- > div <! ping "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div ping="bar">Hello.</div>
+--
+ping :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+ping = attribute " ping=\""
+{-# INLINE ping #-}
+
+-- | Combinator for the @placeholder@ attribute.
+--
+-- Example:
+--
+-- > div <! placeholder "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div placeholder="bar">Hello.</div>
+--
+placeholder :: AttributeValue  -- ^ Attribute value.
+            -> Attribute       -- ^ Resulting attribute.
+placeholder = attribute " placeholder=\""
+{-# INLINE placeholder #-}
+
+-- | Combinator for the @preload@ attribute.
+--
+-- Example:
+--
+-- > div <! preload "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div preload="bar">Hello.</div>
+--
+preload :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+preload = attribute " preload=\""
+{-# INLINE preload #-}
+
+-- | Combinator for the @pubdate@ attribute.
+--
+-- Example:
+--
+-- > div <! pubdate "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div pubdate="bar">Hello.</div>
+--
+pubdate :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+pubdate = attribute " pubdate=\""
+{-# INLINE pubdate #-}
+
+-- | Combinator for the @radiogroup@ attribute.
+--
+-- Example:
+--
+-- > div <! radiogroup "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div radiogroup="bar">Hello.</div>
+--
+radiogroup :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+radiogroup = attribute " radiogroup=\""
+{-# INLINE radiogroup #-}
+
+-- | Combinator for the @readonly@ attribute.
+--
+-- Example:
+--
+-- > div <! readonly "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div readonly="bar">Hello.</div>
+--
+readonly :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+readonly = attribute " readonly=\""
+{-# INLINE readonly #-}
+
+-- | Combinator for the @rel@ attribute.
+--
+-- Example:
+--
+-- > div <! rel "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div rel="bar">Hello.</div>
+--
+rel :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+rel = attribute " rel=\""
+{-# INLINE rel #-}
+
+-- | Combinator for the @required@ attribute.
+--
+-- Example:
+--
+-- > div <! required "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div required="bar">Hello.</div>
+--
+required :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+required = attribute " required=\""
+{-# INLINE required #-}
+
+-- | Combinator for the @reversed@ attribute.
+--
+-- Example:
+--
+-- > div <! reversed "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div reversed="bar">Hello.</div>
+--
+reversed :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+reversed = attribute " reversed=\""
+{-# INLINE reversed #-}
+
+-- | Combinator for the @rows@ attribute.
+--
+-- Example:
+--
+-- > div <! rows "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div rows="bar">Hello.</div>
+--
+rows :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+rows = attribute " rows=\""
+{-# INLINE rows #-}
+
+-- | Combinator for the @rowspan@ attribute.
+--
+-- Example:
+--
+-- > div <! rowspan "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div rowspan="bar">Hello.</div>
+--
+rowspan :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+rowspan = attribute " rowspan=\""
+{-# INLINE rowspan #-}
+
+-- | Combinator for the @sandbox@ attribute.
+--
+-- Example:
+--
+-- > div <! sandbox "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div sandbox="bar">Hello.</div>
+--
+sandbox :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+sandbox = attribute " sandbox=\""
+{-# INLINE sandbox #-}
+
+-- | Combinator for the @scope@ attribute.
+--
+-- Example:
+--
+-- > div <! scope "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div scope="bar">Hello.</div>
+--
+scope :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+scope = attribute " scope=\""
+{-# INLINE scope #-}
+
+-- | Combinator for the @scoped@ attribute.
+--
+-- Example:
+--
+-- > div <! scoped "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div scoped="bar">Hello.</div>
+--
+scoped :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+scoped = attribute " scoped=\""
+{-# INLINE scoped #-}
+
+-- | Combinator for the @seamless@ attribute.
+--
+-- Example:
+--
+-- > div <! seamless "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div seamless="bar">Hello.</div>
+--
+seamless :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+seamless = attribute " seamless=\""
+{-# INLINE seamless #-}
+
+-- | Combinator for the @selected@ attribute.
+--
+-- Example:
+--
+-- > div <! selected "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div selected="bar">Hello.</div>
+--
+selected :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+selected = attribute " selected=\""
+{-# INLINE selected #-}
+
+-- | Combinator for the @shape@ attribute.
+--
+-- Example:
+--
+-- > div <! shape "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div shape="bar">Hello.</div>
+--
+shape :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+shape = attribute " shape=\""
+{-# INLINE shape #-}
+
+-- | Combinator for the @size@ attribute.
+--
+-- Example:
+--
+-- > div <! size "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div size="bar">Hello.</div>
+--
+size :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+size = attribute " size=\""
+{-# INLINE size #-}
+
+-- | Combinator for the @sizes@ attribute.
+--
+-- Example:
+--
+-- > div <! sizes "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div sizes="bar">Hello.</div>
+--
+sizes :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+sizes = attribute " sizes=\""
+{-# INLINE sizes #-}
+
+-- | Combinator for the @span@ attribute.
+--
+-- Example:
+--
+-- > div <! span "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div span="bar">Hello.</div>
+--
+span :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+span = attribute " span=\""
+{-# INLINE span #-}
+
+-- | Combinator for the @spellcheck@ attribute.
+--
+-- Example:
+--
+-- > div <! spellcheck "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div spellcheck="bar">Hello.</div>
+--
+spellcheck :: AttributeValue  -- ^ Attribute value.
+           -> Attribute       -- ^ Resulting attribute.
+spellcheck = attribute " spellcheck=\""
+{-# INLINE spellcheck #-}
+
+-- | Combinator for the @src@ attribute.
+--
+-- Example:
+--
+-- > div <! src "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div src="bar">Hello.</div>
+--
+src :: AttributeValue  -- ^ Attribute value.
+    -> Attribute       -- ^ Resulting attribute.
+src = attribute " src=\""
+{-# INLINE src #-}
+
+-- | Combinator for the @srcdoc@ attribute.
+--
+-- Example:
+--
+-- > div <! srcdoc "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div srcdoc="bar">Hello.</div>
+--
+srcdoc :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+srcdoc = attribute " srcdoc=\""
+{-# INLINE srcdoc #-}
+
+-- | Combinator for the @start@ attribute.
+--
+-- Example:
+--
+-- > div <! start "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div start="bar">Hello.</div>
+--
+start :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+start = attribute " start=\""
+{-# INLINE start #-}
+
+-- | Combinator for the @step@ attribute.
+--
+-- Example:
+--
+-- > div <! step "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div step="bar">Hello.</div>
+--
+step :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+step = attribute " step=\""
+{-# INLINE step #-}
+
+-- | Combinator for the @style@ attribute.
+--
+-- Example:
+--
+-- > div <! style "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div style="bar">Hello.</div>
+--
+style :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+style = attribute " style=\""
+{-# INLINE style #-}
+
+-- | Combinator for the @subject@ attribute.
+--
+-- Example:
+--
+-- > div <! subject "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div subject="bar">Hello.</div>
+--
+subject :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+subject = attribute " subject=\""
+{-# INLINE subject #-}
+
+-- | Combinator for the @summary@ attribute.
+--
+-- Example:
+--
+-- > div <! summary "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div summary="bar">Hello.</div>
+--
+summary :: AttributeValue  -- ^ Attribute value.
+        -> Attribute       -- ^ Resulting attribute.
+summary = attribute " summary=\""
+{-# INLINE summary #-}
+
+-- | Combinator for the @tabindex@ attribute.
+--
+-- Example:
+--
+-- > div <! tabindex "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div tabindex="bar">Hello.</div>
+--
+tabindex :: AttributeValue  -- ^ Attribute value.
+         -> Attribute       -- ^ Resulting attribute.
+tabindex = attribute " tabindex=\""
+{-# INLINE tabindex #-}
+
+-- | Combinator for the @target@ attribute.
+--
+-- Example:
+--
+-- > div <! target "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div target="bar">Hello.</div>
+--
+target :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+target = attribute " target=\""
+{-# INLINE target #-}
+
+-- | Combinator for the @title@ attribute.
+--
+-- Example:
+--
+-- > div <! title "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div title="bar">Hello.</div>
+--
+title :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+title = attribute " title=\""
+{-# INLINE title #-}
+
+-- | Combinator for the @type@ attribute.
+--
+-- Example:
+--
+-- > div <! type_ "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div type="bar">Hello.</div>
+--
+type_ :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+type_ = attribute " type=\""
+{-# INLINE type_ #-}
+
+-- | Combinator for the @usemap@ attribute.
+--
+-- Example:
+--
+-- > div <! usemap "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div usemap="bar">Hello.</div>
+--
+usemap :: AttributeValue  -- ^ Attribute value.
+       -> Attribute       -- ^ Resulting attribute.
+usemap = attribute " usemap=\""
+{-# INLINE usemap #-}
+
+-- | Combinator for the @value@ attribute.
+--
+-- Example:
+--
+-- > div <! value "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div value="bar">Hello.</div>
+--
+value :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+value = attribute " value=\""
+{-# INLINE value #-}
+
+-- | Combinator for the @width@ attribute.
+--
+-- Example:
+--
+-- > div <! width "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div width="bar">Hello.</div>
+--
+width :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+width = attribute " width=\""
+{-# INLINE width #-}
+
+-- | Combinator for the @wrap@ attribute.
+--
+-- Example:
+--
+-- > div <! wrap "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div wrap="bar">Hello.</div>
+--
+wrap :: AttributeValue  -- ^ Attribute value.
+     -> Attribute       -- ^ Resulting attribute.
+wrap = attribute " wrap=\""
+{-# INLINE wrap #-}
+
+-- | Combinator for the @xmlns@ attribute.
+--
+-- Example:
+--
+-- > div <! xmlns "bar" $ "Hello."
+--
+-- Result:
+--
+-- > <div xmlns="bar">Hello.</div>
+--
+xmlns :: AttributeValue  -- ^ Attribute value.
+      -> Attribute       -- ^ Resulting attribute.
+xmlns = attribute " xmlns=\""
+{-# INLINE xmlns #-}
diff --git a/src/Text/Blaze/Internal.hs b/src/Text/Blaze/Internal.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Internal.hs
@@ -0,0 +1,324 @@
+{-# LANGUAGE OverloadedStrings, GeneralizedNewtypeDeriving, Rank2Types,
+             FlexibleInstances #-}
+-- | The BlazeHtml core, consisting of functions that offer the power to
+-- generate custom HTML elements. It also offers user-centric functions, which
+-- are exposed through 'Text.Blaze'.
+--
+module Text.Blaze.Internal
+    (
+      -- * Important types.
+      Html
+    , Tag
+    , Attribute
+    , AttributeValue
+
+      -- * Creating custom tags and attributes.
+    , parent
+    , leaf
+    , open
+    , attribute
+    , dataAttribute
+
+      -- * Converting values to HTML.
+    , text
+    , preEscapedText
+    , string
+    , preEscapedString
+    , showHtml
+    , preEscapedShowHtml
+
+      -- * Inserting literal 'ByteString's.
+    , unsafeByteString
+
+      -- * Converting values to tags.
+    , textTag
+    , stringTag
+
+      -- * Converting values to attribute values.
+    , textValue
+    , preEscapedTextValue
+    , stringValue
+    , preEscapedStringValue
+
+      -- * Setting attributes
+    , (!)
+
+      -- * Rendering HTML.
+    , renderHtml
+    ) where
+
+import Data.Monoid (Monoid, mappend, mempty, mconcat)
+
+import Data.ByteString.Char8 (ByteString)
+import qualified Data.ByteString as S
+import qualified Data.ByteString.Lazy as L
+import Data.Text (Text)
+import GHC.Exts (IsString (..))
+
+import Text.Blaze.Internal.Utf8Builder (Utf8Builder)
+import qualified Text.Blaze.Internal.Utf8Builder as B
+import qualified Text.Blaze.Internal.Utf8BuilderHtml as B
+
+-- | The core HTML datatype.
+--
+newtype Html a = Html
+    { -- | Function to extract the 'Builder'.
+      unHtml :: Utf8Builder -> Utf8Builder
+    }
+
+-- | Type for an HTML tag. This can be seen as an internal string type used by
+-- BlazeHtml.
+--
+newtype Tag = Tag { unTag :: Utf8Builder }
+    deriving (Monoid)
+
+-- | Type for an attribute.
+--
+newtype Attribute = Attribute (forall a. Html a -> Html a)
+
+-- | The type for the value part of an attribute.
+--
+newtype AttributeValue = AttributeValue { attributeValue :: Utf8Builder }
+    deriving (Monoid)
+
+instance Monoid (Html a) where
+    mempty = Html $ \_ -> mempty
+    {-# INLINE mempty #-}
+    --SM: Note for the benchmarks: We should test which multi-`mappend`
+    --versions are faster: right or left-associative ones. Then we can register
+    --a rewrite rule taking care of that. I actually guess that this may be one
+    --of the reasons accounting for the speed differences between monadic
+    --syntax and monoid syntax: the rewrite rules for monadic syntax bring the
+    --`>>=` into the better form which results in a better form for `mappend`.
+    (Html h1) `mappend` (Html h2) = Html $ \attrs ->
+        h1 attrs `mappend` h2 attrs
+    {-# INLINE mappend #-}
+    mconcat hs = Html $ \attrs ->
+        foldr mappend mempty $ map (flip unHtml attrs) hs
+    {-# INLINE mconcat #-}
+
+instance Monad Html where
+    return _ = mempty
+    {-# INLINE return #-}
+    (Html h1) >> (Html h2) = Html $
+        \attrs -> h1 attrs `mappend` h2 attrs
+    {-# INLINE (>>) #-}
+    h1 >>= f = h1 >> f (error "_|_")
+    {-# INLINE (>>=) #-}
+
+instance IsString (Html a) where
+    fromString = string
+    {-# INLINE fromString #-}
+
+instance IsString Tag where
+    fromString = stringTag
+    {-# INLINE fromString #-}
+
+instance IsString AttributeValue where
+    fromString = stringValue
+    {-# INLINE fromString #-}
+
+-- | Create an HTML parent element.
+--
+parent :: Tag     -- ^ Start of the open HTML tag.
+       -> Tag     -- ^ The closing tag.
+       -> Html a  -- ^ Inner HTML, to place in this element.
+       -> Html b  -- ^ Resulting HTML.
+parent begin end = \inner -> Html $ \attrs ->
+    unTag begin
+      `mappend` attrs
+      `mappend` B.fromChar '>'
+      `mappend` unHtml inner mempty
+      `mappend` unTag end
+{-# INLINE parent #-}
+
+-- | Create an HTML leaf element.
+--
+leaf :: Tag     -- ^ Start of the open HTML tag.
+     -> Html a  -- ^ Resulting HTML.
+leaf begin = Html $ \attrs ->
+    unTag begin
+      `mappend` attrs
+      `mappend` end
+  where
+    end :: Utf8Builder
+    end = B.optimizePiece $ B.fromText $ " />"
+    {-# INLINE end #-}
+{-# INLINE leaf #-}
+
+-- | Produce an open tag. This can be used for open tags in HTML 4.01, like
+-- for example @<br>@.
+--
+open :: Tag     -- ^ Start of the open HTML tag.
+     -> Html a  -- ^ Resulting HTML.
+open begin = Html $ \attrs ->
+    unTag begin
+      `mappend` attrs
+      `mappend` B.fromChar '>'
+{-# INLINE open #-}
+
+-- | Create an HTML attribute that can be applied to an HTML element later using
+-- the '!' operator.
+--
+attribute :: Tag             -- ^ Shared key string for the HTML attribute.
+          -> AttributeValue  -- ^ Value for the HTML attribute.
+          -> Attribute       -- ^ Resulting HTML attribute.
+attribute key value = Attribute $ \(Html h) -> Html $ \attrs ->
+    h $ attrs `mappend` unTag key
+              `mappend` attributeValue value
+              `mappend` B.fromChar '"'
+{-# INLINE attribute #-}
+
+-- | From HTML 5 onwards, the user is able to specify custom data attributes.
+--
+-- An example:
+--
+-- > <p data-foo="bar">Hello.</p>
+--
+-- We support this in BlazeHtml using this funcion. The above fragment could
+-- be described using BlazeHtml with:
+--
+-- > p ! dataAttribute "foo" "bar" $ "Hello."
+--
+dataAttribute :: Tag             -- ^ Name of the attribute.
+              -> AttributeValue  -- ^ Value for the attribute.
+              -> Attribute       -- ^ Resulting HTML attribute.
+dataAttribute tag = attribute (" data-" `mappend` tag `mappend` "=\"")
+{-# INLINE dataAttribute #-}
+
+class Attributable h where
+    -- | Apply an attribute to an element.
+    --
+    -- Example:
+    --
+    -- > img ! src "foo.png"
+    --
+    -- Result:
+    --
+    -- > <img src="foo.png" />
+    --
+    -- This can be used on nested elements as well.
+    --
+    -- Example:
+    --
+    -- > p ! style "float: right" $ "Hello!"
+    --
+    -- Result:
+    --
+    -- > <p style="float: right">Hello!</p>
+    --
+    (!) :: h -> Attribute -> h
+
+instance Attributable (Html a) where
+    h ! (Attribute f) = f h
+    {-# INLINE (!) #-}
+
+instance Attributable (Html a -> Html b) where
+    h ! (Attribute f) = f . h
+    {-# INLINE (!) #-}
+
+-- | Render text. Functions like these can be used to supply content in HTML.
+--
+text :: Text    -- ^ Text to render.
+     -> Html a  -- ^ Resulting HTML fragment.
+text = Html . const . B.escapeHtmlFromText
+{-# INLINE text #-}
+
+-- | Render text without escaping.
+--
+preEscapedText :: Text    -- ^ Text to insert.
+               -> Html a  -- Resulting HTML fragment.
+preEscapedText = Html . const . B.fromText
+{-# INLINE preEscapedText #-}
+
+-- | Create an HTML snippet from a 'String'.
+--
+string :: String  -- ^ String to insert.
+       -> Html a  -- ^ Resulting HTML fragment.
+string = Html . const . B.escapeHtmlFromString
+{-# INLINE string #-}
+
+-- | Create an HTML snippet from a 'String' without escaping
+--
+preEscapedString :: String -> Html a
+preEscapedString = Html . const . B.fromString
+{-# INLINE preEscapedString #-}
+
+-- | Create an HTML snippet from a datatype that instantiates 'Show'.
+--
+showHtml :: Show a
+         => a       -- ^ Value to insert.
+         -> Html b  -- ^ Resulting HTML fragment.
+showHtml = string . show
+{-# INLINE showHtml #-}
+
+-- | Create an HTML snippet from a datatype that instantiates 'Show'. This
+-- function will not do any HTML entity escaping.
+--
+preEscapedShowHtml :: Show a
+                   => a       -- ^ Value to insert.
+                   -> Html b  -- ^ Resulting HTML fragment.
+preEscapedShowHtml = preEscapedString . show
+{-# INLINE preEscapedShowHtml #-}
+
+-- | Insert a 'ByteString'. This is an unsafe operation:
+--
+-- * The 'ByteString' could have the wrong encoding.
+--
+-- * The 'ByteString' might contain illegal HTML characters (no escaping is
+--   done).
+--
+unsafeByteString :: ByteString  -- ^ Value to insert.
+                 -> Html a      -- ^ Resulting HTML fragment.
+unsafeByteString = Html . const . B.unsafeFromByteString
+{-# INLINE unsafeByteString #-}
+
+-- | Create a tag from a 'Text' value. A tag is a string used to denote a
+-- certain HTML element, for example @img@.
+--
+-- This is only useful if you want to create custom HTML combinators.
+--
+textTag :: Text  -- ^ 'Text' for the tag.
+        -> Tag   -- ^ Resulting tag.
+textTag = Tag . B.optimizePiece . B.fromText
+{-# INLINE textTag #-}
+
+-- | Create a tag from a 'String' value. For more information, see 'textTag'.
+--
+stringTag :: String  -- ^ 'String' for the tag.
+          -> Tag     -- ^ Resulting tag.
+stringTag = Tag . B.optimizePiece . B.fromString
+{-# INLINE stringTag #-}
+
+-- | Render an attribute value from 'Text'.
+--
+textValue :: Text            -- ^ The actual value.
+          -> AttributeValue  -- ^ Resulting attribute value.
+textValue = AttributeValue . B.escapeHtmlFromText
+{-# INLINE textValue #-}
+
+-- | Render an attribute value from 'Text' without escaping.
+--
+preEscapedTextValue :: Text            -- ^ Text to insert.
+                    -> AttributeValue  -- Resulting HTML fragment.
+preEscapedTextValue = AttributeValue . B.fromText
+{-# INLINE preEscapedTextValue #-}
+
+-- | Create an attribute value from a 'String'.
+--
+stringValue :: String -> AttributeValue
+stringValue = AttributeValue . B.escapeHtmlFromString
+{-# INLINE stringValue #-}
+
+-- | Create an attribute value from a 'String' without escaping.
+--
+preEscapedStringValue :: String -> AttributeValue
+preEscapedStringValue = AttributeValue . B.fromString
+{-# INLINE preEscapedStringValue #-}
+
+-- | /O(n)./ Render the HTML fragment to lazy 'L.ByteString'.
+--
+renderHtml :: Html a        -- ^ Document to render.
+           -> L.ByteString  -- ^ Resulting output.
+renderHtml = B.toLazyByteString . flip unHtml mempty
+{-# INLINE renderHtml #-}
diff --git a/src/Text/Blaze/Internal/Utf8Builder.hs b/src/Text/Blaze/Internal/Utf8Builder.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Internal/Utf8Builder.hs
@@ -0,0 +1,220 @@
+{-# LANGUAGE GeneralizedNewtypeDeriving, BangPatterns #-}
+-- | A module for efficiently constructing a 'Builder'. This module offers more
+-- functions than the standard ones, optimized for HTML generation.
+--
+--
+--  SM: General remark: Try to split it into Utf8 specific parts and a
+--  HtmlBuilder using it. Essentially, a UTF-8 builder is a Text builder that
+--  uses UTF-8 for its internal representation. The Text builder from Tom
+--  Harper would then be called Utf16Builder. They should offer exactly the
+--  same interface (except perhaps for the extraction functions.)
+--
+module Text.Blaze.Internal.Utf8Builder 
+    ( 
+      -- * The Utf8Builder type.
+      Utf8Builder
+
+      -- * Creating Builders from various text representations.
+    , fromChar
+    , fromText
+    , fromString
+
+      -- * Creating Builders from ByteStrings.
+    , unsafeFromByteString
+
+      -- * Transformations on the builder.
+    , optimizePiece
+
+      -- * Extracting the value from the builder.
+    , toLazyByteString
+    , toText
+
+      -- * Internal functions to extend the builder.
+      -- ** The write type.
+    , Write
+    , fromUnsafeWrite
+    , optimizeWriteBuilder
+    , writeList
+
+      -- ** Functions to create a write.
+    , writeChar
+    , writeByteString
+    ) where
+
+import Foreign
+import Data.Char (ord)
+import Data.Monoid (Monoid (..))
+import Prelude hiding (quot)
+
+import Debug.Trace (trace)
+import Data.Binary.Builder (Builder)
+import qualified Data.Binary.Builder as B
+import qualified Data.ByteString as S
+import qualified Data.ByteString.Internal as S
+import qualified Data.ByteString.Lazy as L
+import Data.Text (Text)
+import qualified Data.Text as T
+import qualified Data.Text.Encoding as T
+
+-- | A newtype definition for the UTF-8 builder monoid.
+newtype Utf8Builder = Utf8Builder Builder
+    deriving (Monoid)
+
+-- | /O(1)./ Convert a Haskell character to a 'Utf8Builder', without doing any
+-- escaping.
+--
+fromChar :: Char -> Utf8Builder
+fromChar = fromUnsafeWrite . writeChar
+
+-- | /O(n)./ Convert a 'Text' value to a 'Utf8Builder'. This function will not
+-- do any HTML escaping.
+--
+fromText :: Text -> Utf8Builder
+fromText text = fromUnsafeWrite $
+    T.foldl (\w c -> w `mappend` writeChar c) mempty text
+
+-- | /O(n)./ Convert a Haskell 'String' to a builder. Unlike 'fromHtmlString',
+-- this function will not do any escaping.
+--
+fromString :: String -> Utf8Builder
+fromString = writeList writeChar
+  -- fromUnsafeWrite $
+    -- foldl (\w c -> w `mappend` writeChar c) mempty string
+
+
+-- | /O(n)./ A Builder taking a 'S.ByteString`, copying it. This function is
+-- considered unsafe, as a `S.ByteString` can contain invalid UTF-8 bytes, so
+-- you chould use it with caution. This function should perform better when
+-- dealing with small strings than the fromByteString function from Builder.
+--
+unsafeFromByteString :: S.ByteString -> Utf8Builder
+unsafeFromByteString = fromUnsafeWrite . writeByteString
+
+-- | /O(n)./ Optimize a small builder. This function has an initial speed
+-- penalty, but will speed up later calls of the optimized builder piece. This
+-- speedup will only work well for small builders (less than 1k characters).
+--
+optimizePiece :: Utf8Builder -> Utf8Builder
+optimizePiece = fromUnsafeWrite . optimizeWriteBuilder
+{-# INLINE optimizePiece #-}
+
+-- | /O(n)./ Convert the builder to a 'L.ByteString'.
+--
+toLazyByteString :: Utf8Builder -> L.ByteString
+toLazyByteString (Utf8Builder builder) = B.toLazyByteString builder
+
+-- | /O(n)./ Convert the builder to a 'Text' value. Please note that this
+-- function is a lot slower than the 'toLazyByteString' function.
+--
+toText :: Utf8Builder -> Text
+toText = T.concat . map T.decodeUtf8 . L.toChunks . toLazyByteString
+
+-- | Abstract representation of a write action to the internal buffer.
+--
+data Write = Write
+    {-# UNPACK #-} !Int
+    (Ptr Word8 -> IO ())
+
+-- Create a monoid interface for the write actions.
+instance Monoid Write where
+    mempty = Write 0 (const $ return ())
+    {-# INLINE mempty #-}
+    mappend (Write l1 f1) (Write l2 f2) =
+        Write (l1 + l2) (\ptr -> f1 ptr >> f2 (ptr `plusPtr` l1))
+    {-# INLINE mappend #-}
+
+-- INV: The writes must be smaller than the default buffer size.
+--
+-- SM: Note that moving the control flow away from the Builder will give us the
+-- next level of speed. This way we have simple tail-recursive functions
+-- consuming data and filling the buffer.
+writeList :: (a -> Write) -> [a] -> Utf8Builder
+writeList f xs0 = Utf8Builder $ B.fillBuffer (go xs0 0)
+  where
+    go []         !w !l !p = return (w, Nothing) -- here should come the call to the next filler.
+    go xs@(x:xs') !w !l !p  = case f x of
+      Write n g 
+        | n <= l -> do
+            g p
+            go xs' (w+n) (l-n) (p `plusPtr` n)
+        | otherwise ->
+            return (w, Just (B.forceNewBuffer `mappend` B.fillBuffer (go xs 0)))
+    {-# INLINE go #-}
+{-# INLINE writeList #-}
+
+-- | Create a builder from a write.
+--
+fromUnsafeWrite :: Write        -- ^ Write to execute.
+                -> Utf8Builder  -- ^ Resulting builder.
+fromUnsafeWrite (Write l f) = Utf8Builder $ B.fromUnsafeWrite l f 
+{-# INLINE fromUnsafeWrite #-}
+
+-- | Optimize a small builder to a write operation.
+--
+optimizeWriteBuilder :: Utf8Builder  -- ^ Small builder to optimize.
+                     -> Write        -- ^ Resulting write.
+optimizeWriteBuilder = writeByteString . mconcat . L.toChunks . toLazyByteString
+{-# INLINE optimizeWriteBuilder #-}
+
+-- | Write a 'S.ByteString' to the builder.
+--
+writeByteString :: S.ByteString  -- ^ ByteString to write.
+                -> Write         -- ^ Resulting write.
+writeByteString byteString = Write l f
+  where
+    (fptr, o, l) = S.toForeignPtr byteString
+    f dst = do copyBytes dst (unsafeForeignPtrToPtr fptr `plusPtr` o) l
+               touchForeignPtr fptr
+    {-# INLINE f #-}
+{-# INLINE writeByteString #-}
+
+-- | Write a Unicode character, encoding it as UTF-8.
+--
+writeChar :: Char   -- ^ Character to write.
+          -> Write  -- ^ Resulting write.
+writeChar = encodeCharUtf8 f1 f2 f3 f4
+  where
+    f1 x = Write 1 $ \ptr -> poke ptr x
+
+    f2 x1 x2 = Write 2 $ \ptr -> do poke ptr x1
+                                    poke (ptr `plusPtr` 1) x2
+
+    f3 x1 x2 x3 = Write 3 $ \ptr -> do poke ptr x1
+                                       poke (ptr `plusPtr` 1) x2
+                                       poke (ptr `plusPtr` 2) x3
+
+    f4 x1 x2 x3 x4 = Write 4 $ \ptr -> do poke ptr x1
+                                          poke (ptr `plusPtr` 1) x2
+                                          poke (ptr `plusPtr` 2) x3
+                                          poke (ptr `plusPtr` 3) x4
+{-# INLINE writeChar #-}
+
+-- | Encode a Unicode character to another datatype, using UTF-8. This function
+-- acts as an abstract way of encoding characters, as it is unaware of what
+-- needs to happen with the resulting bytes: you have to specify functions to
+-- deal with those.
+--
+encodeCharUtf8 :: (Word8 -> a)                             -- ^ 1-byte UTF-8.
+               -> (Word8 -> Word8 -> a)                    -- ^ 2-byte UTF-8.
+               -> (Word8 -> Word8 -> Word8 -> a)           -- ^ 3-byte UTF-8.
+               -> (Word8 -> Word8 -> Word8 -> Word8 -> a)  -- ^ 4-byte UTF-8.
+               -> Char                                     -- ^ Input 'Char'.
+               -> a                                        -- ^ Result.
+encodeCharUtf8 f1 f2 f3 f4 c = case ord c of
+    x | x <= 0xFF -> f1 $ fromIntegral x
+      | x <= 0x07FF ->
+           let x1 = fromIntegral $ (x `shiftR` 6) + 0xC0
+               x2 = fromIntegral $ (x .&. 0x3F)   + 0x80
+           in f2 x1 x2
+      | x <= 0xFFFF ->
+           let x1 = fromIntegral $ (x `shiftR` 12) + 0xE0
+               x2 = fromIntegral $ ((x `shiftR` 6) .&. 0x3F) + 0x80
+               x3 = fromIntegral $ (x .&. 0x3F) + 0x80
+           in f3 x1 x2 x3
+      | otherwise ->
+           let x1 = fromIntegral $ (x `shiftR` 18) + 0xF0
+               x2 = fromIntegral $ ((x `shiftR` 12) .&. 0x3F) + 0x80
+               x3 = fromIntegral $ ((x `shiftR` 6) .&. 0x3F) + 0x80
+               x4 = fromIntegral $ (x .&. 0x3F) + 0x80
+           in f4 x1 x2 x3 x4
+{-# INLINE encodeCharUtf8 #-}
diff --git a/src/Text/Blaze/Internal/Utf8BuilderHtml.hs b/src/Text/Blaze/Internal/Utf8BuilderHtml.hs
new file mode 100644
--- /dev/null
+++ b/src/Text/Blaze/Internal/Utf8BuilderHtml.hs
@@ -0,0 +1,56 @@
+{-# LANGUAGE OverloadedStrings #-}
+-- | Module extending 'Utf8Builder' with HTML-specific functions.
+--
+module Text.Blaze.Internal.Utf8BuilderHtml
+    ( 
+      -- * Creating builders with HTML escaping.
+      escapeHtmlFromChar
+    , escapeHtmlFromText
+    , escapeHtmlFromString
+    ) where
+
+import Data.Monoid (Monoid (..))
+
+import Data.Text (Text)
+import qualified Data.Text as T
+
+import Text.Blaze.Internal.Utf8Builder
+
+-- | /O(1)./ Convert a Haskell character to a 'Utf8Builder'.
+--
+escapeHtmlFromChar :: Char -> Utf8Builder
+escapeHtmlFromChar = fromUnsafeWrite . escapeHtmlWriteChar
+
+-- | /O(n)./ Convert a 'Text' value to a 'Utf8Builder'. This function does
+-- proper HTML escaping.
+--
+escapeHtmlFromText :: Text -> Utf8Builder
+escapeHtmlFromText text = fromUnsafeWrite $
+    T.foldl (\w c -> w `mappend` escapeHtmlWriteChar c) mempty text
+--
+--SM: The above construction is going to kill you (in terms of memory and
+--latency) if the text is too long.  Could you ensure that the text is written
+--chunkwise? Perhaps, by first breaking the Builder abstraction again and
+--inlining the check for enough free memory into the loop. The basic check
+--should be equally expensive as summing up the length.
+--
+
+-- | /O(n)./ Convert a Haskell 'String' to a 'Utf8Builder'. This function does
+-- proper escaping for HTML entities.
+--
+escapeHtmlFromString :: String -> Utf8Builder
+escapeHtmlFromString = writeList escapeHtmlWriteChar
+ -- fromUnsafeWrite $ 
+  --  foldl (\w c -> w `mappend` escapeHtmlWriteChar c) mempty string
+
+-- | Write an unicode character to a 'Builder', doing HTML escaping.
+--
+escapeHtmlWriteChar :: Char   -- ^ Character to write.
+                    -> Write  -- ^ Resulting write.
+escapeHtmlWriteChar '<' = optimizeWriteBuilder $ fromText "&lt;"
+escapeHtmlWriteChar '>' = optimizeWriteBuilder $ fromText "&gt;"
+escapeHtmlWriteChar '&' = optimizeWriteBuilder $ fromText "&amp;"
+escapeHtmlWriteChar '"' = optimizeWriteBuilder $ fromText "&quot;"
+escapeHtmlWriteChar '\'' = optimizeWriteBuilder $ fromText "&apos;"
+escapeHtmlWriteChar c = writeChar c
+{-# INLINE escapeHtmlWriteChar #-}