Candidates for ghci-websockets