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: val warning : a ::: Type -> signal (readiness a) -> xbody