He visto un objeto (probablemente una función) llamado "en" esparcido a través de la fuente sin forma y en el código que utiliza sin forma. En particular, se utiliza en la respuesta aesta otra pregunta. Aquí está el fragmento de código:

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

He tenido alguna pista de que está relacionado con el método de aplicación del tipo ~>. ¿Qué hace específicamente "at", y dónde se define?