1 2 3 4 5 6 7 8 9
-- -- Created by intellij-minitt on 2019-03-27 -- merge -- Author: yqz5714 -- let bool: Type = Sum { True | False }; let unit: Type = Sum { TT }; let merged: Type = bool ++ unit;