Eu já vi um objeto (provavelmente uma função) chamado "at" espalhado por toda a fonte informe e no código que usa a forma informe. Em particular, é usado na resposta paraessa outra pergunta. Aqui está o trecho de código:

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

Eu tive alguma pista de que ele está relacionado ao método apply do tipo ~>. O que especificamente "at" faz e onde é definido?