There is no way for the compiler to infer the type...
# arrow
s
There is no way for the compiler to infer the types in this snippet