Question regarding newly defined attributes

[Dmitri Nesteruk]

I'm using HTML5.Tags.NewTag to define a new tag like so

let Header = HTML5.Tags.NewTag "Header"

Unfortunately, the last parameter expects a seq<IPagelet> whereas I
typically provide it a seq<INode>, which means I cannot do Header
[Attr.Class "something"] because it expects Class to be an IPagelet.
Is there any way to get around this? Thanks.

[Dmitri Nesteruk]

Hmm, nevermind, seem to have figured it out.