Remove CC from tuples for now, Map is not compiling

Author: natsukagami

library/src/scala/NamedTuple.scala

@@ -89,7 +89,7 @@ object NamedTuple:
   /** The type of the named tuple `X` mapped with the type-level function `F`.
    *  If `X = (n1 : T1, ..., ni : Ti)` then `Map[X, F] = `(n1 : F[T1], ..., ni : F[Ti])`.
    */
-  type Map[X <: AnyNamedTuple, F[_]] =
+  type Map[X <: AnyNamedTuple, F[_ <: Tuple.Union[DropNames[X]]]] =
     NamedTuple[Names[X], Tuple.Map[DropNames[X], F]]
 
   /** A named tuple with the elements of tuple `X` in reversed order */

library/src/scala/Tuple.scala

@@ -1,6 +1,6 @@
 package scala
 
-import language.experimental.captureChecking
+// import language.experimental.captureChecking
 import annotation.showAsInfix
 import compiletime.*
 import compiletime.ops.int.*
@@ -175,13 +175,13 @@ object Tuple {
     case h *: t => F[h, Fold[t, Z, F]]
 
   /** Converts a tuple `(T1, ..., Tn)` to `(F[T1], ..., F[Tn])` */
-  type Map[Tup <: Tuple, F[_]] <: Tuple = Tup match {
+  type Map[Tup <: Tuple, F <: [_ <: Union[Tup]] =>> Any] <: Tuple = Tup match {
     case EmptyTuple => EmptyTuple
     case h *: t => F[h] *: Map[t, F]
   }
 
   /** Converts a tuple `(T1, ..., Tn)` to a flattened `(..F[T1], ..., ..F[Tn])` */
-  type FlatMap[Tup <: Tuple, F[_] <: Tuple] <: Tuple = Tup match {
+  type FlatMap[Tup <: Tuple, F[_ <: Union[Tup]] <: Tuple] <: Tuple = Tup match {
     case EmptyTuple => EmptyTuple
     case h *: t => Concat[F[h], FlatMap[t, F]]
   }
@@ -197,7 +197,7 @@ object Tuple {
    *  ```
    *  @syntax markdown
    */
-  type Filter[Tup <: Tuple, P[_] <: Boolean] <: Tuple = Tup match {
+  type Filter[Tup <: Tuple, P[_ <: Union[Tup]] <: Boolean] <: Tuple = Tup match {
     case EmptyTuple => EmptyTuple
     case h *: t => P[h] match {
       case true => h *: Filter[t, P]