object MyMacros {
  def typeNameOf[A: Type](using Quotes): Expr[String] = {
    val name = Type.show[A]
    Expr(name)
  }
}

object Test extends App {
  inline def typeNameOf[A]: String = ${
    MyMacros.typeNameOf[A]
  }

  inline def typeNameOfF1[A](f: A => Unit): String = ${
    MyMacros.typeNameOf[A]
  }

  type MyString = String

  println(typeNameOf[MyString]) 
  // MyString (OK)
  println(typeNameOfF1 { (x: MyString) =>  })   
  // java.lang.String <---------- NG: This should be MyString
  println(typeNameOfF1[MyString] { (x: MyString) =>  })  
  // MyString <--- OK. If the type name is given as type param, the alias is preserved 
  
  println(typeNameOfF1 { (x: Seq[MyString]) => })
  // scala.colleciton.immutable.Seq[MyString]
  prinrln(typeNameOfF1 { (x: (MyString, Int)) => })
  // scala.Tuple2[MyString, scala.Int]
}