I'm not saying it shouldn't be sealed, but at the moment it can't be sealed because `WebSocket` is defined in a different source file.

By the way, there's also a proof of concept PR for extending the set of Handlers that Play understands: #1901.