do the types on either side of

|

need to be the same? like does it need to be

relation grantee: user | group#member

or can it be

relation grantee: user | group

and have a group be the endpoint of the relation as well?