A type is something like "Int"
# arrow
b
A type is something like "Int"