This can be a skinny arrow `->`