and it would take `(E1) -> E2` as an argument
# arrow
b
and it would take
(E1) -> E2
as an argument