sealed class A { }

class Foo<T>
	where T : A
{
}