An HTML empty data type with MimeRender instances for lucid's
ToHtml class and Html datatype.
You should only need to import this module for it's instances and the
HTML datatype.:
>>> type Eg = Get '[HTML] a
Will then check that a has a ToHtml instance, or is Html.