package x
abstract class H[A] {
  type P <: R[P]
  def a: P
}
class R[F]