`F` is the kind.
# arrow
s
F
is the kind.