marshall json

infix >>=
fun (a: 'a option) >>= (b: ('a * 'b) -> 'a option) =
    case a of
        SOME v => b (v)
     | _ => raise Fail "Object<->structure mismatch"

type t = { name: string, id: int }

fun marshall (object) : t =
    JsonMarshal.marshallString (object, "name") >>= (fn (object, name) =>
    JsonMarshal.marshallInt (object, "id") >>= (fn (object, id) =>
    { name=name, id=id }))