Scala ~> (тильда больше, чем)оператор

У меня есть следующее определение класса scala (, найденное в статье ), моделирование категорий :

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

, может кто-нибудь объяснить мне, что означает «~>» в Параметр типа категории, а в методах возвращаемый тип? Или направьте меня к ресурсу, который объясняет это... Я новичок в Scala (, пришедший из Java), так что простите меня, если это то, что пользователь Scala должен был знать... Заранее спасибо