use std::cmp::Eq;

trait Comparator: Eq {}
trait Thing: Copy {
    const Comparator: Comparator;
}