UnionImpls now properly report when types don't match.