so the compiler is aware that for all A you are co...
# arrow
r
so the compiler is aware that for all A you are covering when the input is a value typed to a sealed hierarchy