Greater

trait Greater[V] extends AlgebraEntryPoint[MathAlgebra] with Transitive[V] with Asymmetric[V, [V] =>> Less[V]]

Constraint: checks if the input value is greater than V.

trait Asymmetric[V, [V] =>> Less[V]]
trait Transitive[V]
trait AlgebraEntryPoint[MathAlgebra]
class Object
trait Matchable
class Any