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