with E and A are correct types
# arrow
t
with E and A are correct types