`<A>` is forall in this case
# arrow
p
<A>
is forall in this case