I would imagine that those users are on relations ...
# spicedb
j
I would imagine that those users are on relations on existing definitions; you'll need to empty those relations if you want to remove those types