Questions about UFCS and generics

[jdf]

Something vaguely related is `type $(1)` is `string` but `$(1).type` is `int`, 
which is a bit surprising.