trait A {
	type S[_]
}