The following will do the same:

implement(element, HTMLElement)