Typesafe constructors and printers for HTML5 documents.
Concrete implementation of HTML5 typesafe constructors
Simple printer for HTML5 documents
Parametrized stream printer for HTML5 documents