type state = | Disconnected