let sum456 () : unit Deferred.t = return 4 >>= (fun x -> return 5 >>= (fun y -> return 6 >>= (fun z -> printf "4 + 5 + 6 = %d\n" (x + y + z); return ())))