module Network where


data PortID = PortNumber PortNumber
            | UnixSocket String
         -- | ...
data Socket
type PortNumber=Int
type HostName=String

accept::Socket->IO (Handle,HostName,PortNumber)
accept=undefined

listenOn::PortId->IO Socket
listenOn=undefined

connectTo :: HostName->PortId->IO Handle
connectTo = undefined

withSocketsDo :: IO a -> IO a
withSocketsDo = id