data SocketType : Type
TCP : SocketType
IPC : SocketType
SocketClass t s -> ReadableClass d Error s
ReadableClass d Error (Socket t)
SocketClass t s -> WriteableClass d Error s
WriteableClass d Error (Socket t)