Better type inference for a call / cast expression

I'm just understanding how things work so far so please bear with me.