Я видел объект (вероятно, функцию) с именем «at», разбросанный по бесформенному источнику и в коде, который использует бесформенный. В частности, он используется в ответе наэтот другой вопрос, Вот фрагмент кода:

object iterateOverHList extends Poly1 {
  implicit def iterable[T, L[T] <: Iterable[T]] = at[L[T]](_.iterator)
}

Я имел некоторую подсказку, что это связано с методом apply типа ~>. Что конкретно делает «at» и где это определяется?