Add some code which might unify unions