Scala не переданный тип

Я думаю, это потому, что функции контравариантны: _._1.name может быть (entity1Table, entity2Table) => String или Any => String, и любой из них удовлетворяет ограничению типа, потому что последний является подклассом первого.

Это связано с тем, что параметры типа вашего sorts являются производными от параметра firstfn. Но если вы передадите их оба одновременно, компилятор еще ничего не знает о fn и, следовательно, не сможет получить sorts.

Вам необходимо настроить curry на ваш fn1, чтобы компилятор мог сначала работать с fn, а затем использовать производные типы, чтобы понять смысл sorts.

Меня немного смущает использование ваших терминов entity1Table и т. д., Поэтому я составил фиктивную схему для примера.

import slick.driver.H2Driver

import H2Driver.api._

case class Entity1(i: Int, s: String)
case class Entity2(i: Int, s: String)

class Entity1T(tag: Tag) extends Table[Entity1](tag, "Entity1s") {
  def id = column[Int]("id", O.PrimaryKey) // This is the primary key column
  def name = column[String]("name")

  def * = (id, name) <> (Entity1.tupled, Entity1.unapply)
}

val entity1Table = TableQuery[Entity1T]

class Entity2T(tag: Tag) extends Table[Entity2](tag, "Entity2s") {
  def id = column[Int]("id", O.PrimaryKey) // This is the primary key column
  def name = column[String]("name")

  def * = (id, name) <> (Entity2.tupled, Entity2.unapply)
}

val entity2Table = TableQuery[Entity2T]

Теперь я не уверен, какой из них ты хочешь, этот

def fn1[A1, P, Q, E, U, C[_]](
  fn: A1 => Query[E, U, C]
)(
  sort: (U => Rep[_], String)*
)(implicit
  aShape: Shape[ColumnsShapeLevel, A1, P, A1],
  pShape: Shape[ColumnsShapeLevel, P, P, _]
) = ???

protected def base1(id: Rep[Long]): Query[(TableQuery[Entity1T], TableQuery[Entity2T]), (Entity1T, Entity2T), Seq] = ???

val x1 = fn1(base1)((etq => etq._1.name, "name"))

Или этот,

def fn2[A1, P, Q, E, U, C[_]](
  fn: A1 => Query[E, U, C]
)(
  sort: (E => Rep[_], String)*
)(implicit
  aShape: Shape[ColumnsShapeLevel, A1, P, A1],
  pShape: Shape[ColumnsShapeLevel, P, P, _]
) = ???

protected def base2(id: Rep[Long]): Query[(Entity1T, Entity2T), (Entity1, Entity2), Seq] = ???

val x2 = fn1(base1)((etq => etq._1.name, "name"))

Насколько я могу судить, обе версии могут наследовать типы.