(e.g. `f: (A) -> A`)
# arrow
b
(e.g.
f: (A) -> A
)