// given 
trait ServiceK[U[_[_]]] // ServiceK is just to demo the usage, the culprit is IdK[A]#λ
type IdK[A] = { type λ[F[_]] = F[A] }

// this is a non working pseudocode 
TypeRef(
 TypeRepr.of[IdK].appliedTo(TypeRepr.of[Int]),
 λ // <--- this one
)

// given 
trait ServiceK[U[_[_]]]
type IdK[A] = { type λ[F[_]] = F[A] }
// macro function itself
def idK(using Quotes): Expr[Boolean] = {
 import quotes.reflect.*
 // There is a need to construct the following TypeRepr via primitives 
 // The problem is in IdK[Int]#λ but when written this way it's easier to get what I'm trying to do
 // also the println(expected) is much nicer
 val expected = TypeRepr.of[ServiceK[IdK[Int]#λ]]
 
 // expected println
 // AppliedType(
 // TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class com)),object test),ServiceK),
 // List(
 // TypeRef(
 // AppliedType(
 // TypeRef(ThisType(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class com)),object test),Test$)),IdK),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),Int))),
 // λ
 // )
 // )
 // )
 // I could not find a way to build the IdK[Int]#λ projection here
 val actual = TypeRepr.of[ServiceK].appliedTo(TypeRepr.of[IdK].appliedTo(TypeRepr.of[Int]))
 // this is a non working pseudocode 
 // val actual = TypeRepr.of[ServiceK].appliedTo(
 // TypeRef(TypeRepr.of[IdK].appliedTo(TypeRepr.of[Int]), λ)
 // )
 Expr(actual =:= expected)
}