sig type ('a, 'b) t = A of '| B of 'end