Divisible

trait Divisible[V] extends Order[V, [V] =>> Divide[V]]

Constraint: checks if the input value is divisible by V

trait Order[V, [V] =>> Divide[V]]

trait Transitive[V]

trait Antisymmetric[V, [V] =>> Divide[V]]

trait Reflexive[V]

class Object

trait Matchable

class Any