vvalue
withLocalSocket :: (MonadThrow m, Typeable ntnAddr, Show ntnAddr)=> Tracer m (DiffusionTracer ntnAddr ntcAddr)-> ntcFd -> m FileDescriptor-> ntcAddr -> m ()-> Snocket m ntcFd ntcAddr-> Either ntcFd ntcAddr-> ntcFd -> m a-> m a