questionable
lim x in f = f(x)
Если я пойду в сторону метро, я пойду в сторону Питера. Это не значит, что я приду в Питер. Это значит, что я иду на север. К/ДжиЭс может не делать такой же интероп, как и К/ДжиВыЭм, а поддержать только часть. Например, непонятно вообще, как делать структурную типизацию.