()) lbl <- new conn returning (Right lbl) (toEnd lbl) Sockets 的完整实现见 奉 奤 奲 奩 女 发行版中的 samples/ST/Net/Network.idr 文件。你也可以在同目录下的 EchoServer.idr 文件中找到回显服务器。此外还有一个高级网络协议 RandServer.idr，它基于底层 的插口 奁奐 奉 ，通过