exotic behaviour in type-inference with the conditional operator
map equality tests