Should this library absorb js-timers?

[thomashoneyman]

As described in purescript-contrib/purescript-js-timers#18:

When reviewing the timers API I discovered that the relevant MDN documentation is marked obsolete and that functions like setInterval are now part of the WindowOrWorkerGlobalScope mixin, which covers the window object and web workers API.

With that in mind, it seems like the web-html library should perhaps have the additional window functions setTimeout, setInterval, etc. added to them, and this library should be deprecated.

Specifically, these methods are supported, which is more than just the set / clear timeout / interval functions, but it would be a good start to move the relevant js-timers functions here and deprecate that library.

[JordanMartinez]

Links above are broken. But these methods indicate the same thing.