Filtering user API via lambda function

In the Get Users API, can someone give me an example of filtering by workspaceId using lambda function?

Seen here is filter for another field.

Here is what I’ve tried so far without success:
workspaceRoleAssignments.workspaceId eq ‘FtefBFLL8BvFjhA3P’

workspaceRoleAssignments/workspaceId eq ‘FtefBFLL8BvFjhA3P’

workspaceRoleAssignments/workspaceId in (‘FtefBFLL8BvFjhA3P’)
workspaceRoleAssignments.workspaceId in (‘FtefBFLL8BvFjhA3P’)

Figured it out!
filter=workspaceRoleAssignments/any(e:e/workspaceId eq ‘FtefBFLL8BvFjhA3P’)