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

__>Nemerle позволяет написать такое:

__>[nemerle]
__>class A[T]
__>{
__> public static @:[From](x : A[From]) : A[T]
__> {
__> A()
__> }
__>}

А вы этот код запускали? Мне помнится, когда я экспериментировал, такой каст вылетал с Exception-ом.