HTMLMediaElements#play() returns a promise

[munizart]

Prerequisites

• Before opening an issue, please check the HTML standard (https://html.spec.whatwg.org). If it doesn't appear in this spec, it may be present in the spec for one of the other purescript-web projects. Although MDN is a great resource, it is not a suitable reference for this project.

Description

The method play form HTMLMediaElements returns a Promise<undefined>, but Web.HTML.HTMLMediaElement.play has signature HTMLMediaElement → Effect Unit.

https://html.spec.whatwg.org/#dom-media-play