If defining Eq instance first test passes, thus types are homomorphic.