枚举--同一化类型部分没看懂

[nange]

https://course.rs/basic/compound-type/enum.html#%E5%90%8C%E4%B8%80%E5%8C%96%E7%B1%BB%E5%9E%8B

没看明白怎么体现了同一化类型的？
另外：

func new (stream: TcpStream) {
  let mut s = stream;
  if tls {
    s = negotiate_tls(stream)
  }
  
  // websocket是一个WebSocket<TcpStream>或者
  //   WebSocket<native_tls::TlsStream<TcpStream>>类型
  websocket = WebSocket::from_raw_socket(
    stream, ......)
}

上面定义的s 变量后面就没使用了？ WebSocket::from_raw_socket这里的WebSocket是单独定义的一个结构体是吧？

enum Websocket {
  Tcp(Websocket<TcpStream>),
  Tls(Websocket<native_tls::TlsStream<TcpStream>>),
}

上面这三个Websocket (enum 后面的Websocket以及内部的两个Websocket)是一个类型吗？ 具体是什么含义能更进一步解释吗？
看上去很困惑。感谢。