pub fn equal_commutative<T: Eq, FirstVal: HasType<T>, SecondVal: HasType<T>>( _is_equal: IsEqual<T, FirstVal, SecondVal>) -> IsEqual<T, SecondVal, FirstVal>