代数数据类型

用"和"（多选一）和"积"（组合）构造类型。表达能力强且能穷尽检查。