Use equalA and context bounds for Equal.