teach NODE-CONSERVATIVE-TYPE about union types