object Test {

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

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

 // val x: T = reverse

}