Здравствуйте, у меня возник вопрос связанный с параметризованными типами в Nemerle. Есть ли в этом языке возможность наследовать свой класс от параметра класса? Если да, то как это сделать, т.е. написать код в стиле:

//error: derived or implemented type must be a class
class Foo[T] : T where T : class
{
}

По аналогии с тем, как это можно в шаблонах C++

template <class T>
class Foo : public T
{
};

P.S. Я пользуюсь Nemerle Compiler (ncc) version 0.9.3 (release)