Tengo la siguiente definición de clase Scala (encontrada en un artículo), categorías de modelado:

<code>trait Category[~>[_, _]] {
    def compose[A, B, C]
     (f: B ~> C)
     (g: A ~> B)
     : A ~> C
    def id[A]: A ~> A
}
</code>

¿Puede alguien explicarme qué significa '~>' en el parámetro Tipo de categoría y en el tipo de retorno de los métodos? O diríjame a un recurso que lo explique ... Soy nuevo en Scala (proveniente de Java), así que perdóneme si eso es algo que un usuario de Scala debería haber sabido ... Gracias de antemano