path: root/tests/pending/pos/polytypes.scala

object Test {

  type T = [+X] => (List[X] => List[X])

  def reverse[X](xs: List[X]): List[X] = ???

 // val x: T = reverse

}