internalな変数なら実装都合の型が露見しても良いってことですかね

たしかにそれなら露見しても良さそうだけど、型推論なら some Foo で受けられるわけだし、変数で禁止する必要もなさそうに思います。 (edited)