you're correct that the intersection between

ops

and

user

will always be the empty set because they're different types