Widziałem obiekt (prawdopodobnie funkcję) nazywany „at”, który został skropiony w całym bezkształtnym źródle oraz w kodzie wykorzystującym bezkształtne. W szczególności jest używany w odpowiedzi nato inne pytanie. Oto fragment kodu:

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

Miałem pewną wskazówkę, że jest to związane z metodą stosowania typu ~>. Co konkretnie robi „at” i gdzie jest zdefiniowane?