adam@1: datatype readiness a = Ready of a | Waiting | Invalid of string adam@1: datatype rpcResult a = Success of a | Failure of string adam@1: adam@1: fun warning [a] (s : signal (readiness a)) = adam@1: {[s]} adam@1: | _ => )}/>