TypeConstraintInstances

class Object
trait Matchable
class Any

Value members

Concrete fields

val <:<: Category[<:<]
val =:=: Category[=:=]