How to use the @pulumi/azuread.getUser function in @pulumi/azuread

const admins = new azuread.Group("admins", {
    name: "pulumi:admins",
    members: [
        currentPrincipal,
    ],
});

/* Create a new user in AD.
const dev = new azuread.User("k8s-dev", {
    userPrincipalName: "k8sdev@example.com",
    displayName: "Kubernetes Dev",
    password: "Qjker21!G",
});
*/

const dev = azuread.getUser({
    userPrincipalName: "alice@example.com",
});

const devs = new azuread.Group("devs", {
    name: "pulumi:devs",
    members: [
        // Assign a new or existing user to the group.
        dev.objectId,
    ],
});

// Export outputs for other stacks
export const resourceGroupName = resourceGroup.name;
export const adServerAppId = applicationServer.applicationId;
export const adServerAppSecret = spPasswordServer.value;
export const adClientAppId = applicationClient.applicationId;