ok.md

-- | Raw text will not HTML escape its children.
-- Useful for writing templates.
class Raw arg result | result -> arg where
  raw :: arg    -- ^ Either an attribute list or children.
      -> result -- ^ Result: either an element or an attribute.
  raw = rawWith []
  rawWith :: [Attribute]  -- ^ Attribute transformer.
          -> arg          -- ^ Either an attribute list or children.
          -> result       -- ^ Result: either an element or an attribute.

instance (Monad m, a ~ ()) => Raw Text (HtmlT m a) where
  rawWith f = with x f . toHtmlRaw
    where x = \m' -> HtmlT (do ~(f,a) <- runHtmlT m'
                               return (\attr  -> f mempty, a))