Embedding HTML content in a record type

[dpk]

I’m a fairly new Haskeller and I can’t see how I can put HTML content from this package as a member field in a record type. The rule suggested in the readme is ‘don’t write the types’, but in this context it seems unavoidable.

Specifically I want to have a record type like

data BlogPost = { blogPostTitle :: String, blogPostContents :: TheTypeICan'tFind }

and write functions that run on it like

blogPostHtmlPage blogPost =
  Article :@ (ClassA := "post") :>
   ((H1 :> (blogPostTitle blogPost)) # (blogPostContents blogPost))

I realize this implies that TheTypeICan'tFind tells something about the content category allowed for blogPostContents, which is fine, but I can’t see how to specify that either.