Trying out different options to generate cowboy websocket handlers