adam@2: val discover : string -> transaction (option {Endpoint : string, LocalId : option string})
adam@3: 
adam@3: datatype association = Handle of string | Error of string
adam@3: val association : string -> transaction association