{"ast_node_type":"variable","tokens":[{"end":37,"kind":"keyword","start":0,"text":"let"}]}
        let callee = unfold(callee)?;
        let caller = unfold(caller)?;
        // Now see if these inner types are compatible.