datatype bugged = Nothing | Something of int datatype myDt = One | Two type myRecord = {Bugged: bugged , MyDt : myDt} fun rpcTarget (t: myRecord) = return () val good = {Bugged = Something 4, MyDt = One} val bad = {Bugged = Nothing, MyDt = One} fun main () : transaction page = return