```ts
export interface User {
  email: string;
  active?: boolean; // Allow undefined or null explicitly
}

/** The lowercased addresses of the active users, in order. */
export function activeEmails(users: readonly User[]): string[] {
  return users.flatMap(user => 
    user.active ? user.email.toLowerCase() : []
  );
}
```