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.)