trait B extends A {
	type F = S[Int]
}