GHCJS interface for the Javascript Websocket API