ааа ты про аналог
implicit final class TofuPreAlgebraSyntax[F[_], U[f[_]]](private val self: U[T[F, *]]) extends AnyVal {
def attach(alg: U[F])(implicit U: ApplyK[U], F: Apply[F]): U[F] =
U.map2K(self, alg)(funK(t2k => t2k.first.value *> t2k.second))
}