Здравствуйте, Ka3a4oK, Вы писали:

KK>Странное поведение вариантов.

Это проблема не с вариантами, видимо где-то недостаточно строго проверяется видимость типов при инстанцировании полиморфных типов.