type lambda and match.scala

type A = [T] =>> T match { case String => Int; case Int => String }
def f1[T](a: T): A[T] = a match
  case a: String => a.toInt
  case a: Int => a.toString

def f2[T](a: T): T match { case String => Int; case Int => String } = a match
  case a: String => a.toInt
  case a: Int => a.toString

def f3[T](a: T) = a match
  case a: String => a.toInt
  case a: Int => a.toString

@main def main = 
  println(f1(0).getClass)
  println(f2(0).getClass)
  println(f3(0).getClass)