Divide

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

Constraint: checks if the input value divides V

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

trait Transitive[V]

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

trait Reflexive[V]

class Object

trait Matchable

class Any