Mam następującą definicję klasy scala (znalezioną w pracy), kategorie modelowania:

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

czy ktoś może mi wyjaśnić, co oznacza „~>” w parametrze typu Category iw typie zwracania metod? Albo skieruj mnie do zasobu, który to wyjaśnia ... Jestem nowy w Scali (pochodzący z Java), więc wybacz mi, jeśli to coś, co użytkownik scala powinien wiedzieć ... Z góry dziękuję