-record(call_result, {
    callee :: graded@internal@types:qualified_name(),
    args :: list(graded@internal@types:call_argument())
}).