Do `ClassName`, `AttrName`, and `PropName` types belong here instead of `web-html`?

[nsaunders]

purescript-web/purescript-web-html#30 migrated the ClassName, AttrName, and PropName types from Halogen to web-html.

Considering several relevant functions in Web.DOM.Element (className, setClassName, getAttribute, setAttribute, hasAttribute, and removeAttribute), I wonder why web-html was determined to be the right place for these types rather than web-dom?

And, for that matter, should the above-listed functions not make use of these ClassName and AttrName types? (The situation today is understandable, of course, in that web-dom can't/shouldn't depend on web-html.)

[garyb]

Yeah, moving those here makes sense to me. It could be that they were created on the other repo because Miles was unaware/forgot about the existence of this one 😄