in your example it is possible, so the compiler in...
# getting-started
y
in your example it is possible, so the compiler infers it