I try to define it this way, but I get an error on the last line: Nested arrows not yet supported. If I want to represent multiple levels of authorization, is there a good way to do it?