module Some
{
  type Boo=int;

  variant Foo
  {
  |A
  |B
  };

};

func():void
{
  def a=Some.Boo(); //Ошибка компиляции - тип не виден. Все верно.
  def b=Some.Foo(); //Ошибка компиляции - тип не виден. Все верно.
  def c=Hashtable.[Some.Foo, int](); //Ошибка компиляции - тип не виден. Все верно.

(!)  def d=Hashtable.[Some.Foo.A, int](); //Компилируется нормально. При входе в функцию возникает исключение в конструкторе таблицы.
}