Update example-websocket.hs