Make comparison on equalities work right (ie look at the types)