arrows are expression operations, not types
# spicedb
j
arrows are expression operations, not types