If the type of

i

is

OutInt

in the first case of

when

, then

T

should already be bound to

Int

right?