//
// Created by Dependently-Typed Lambda Calculus on 2019-05-24
// sums
// Author: ice10
//

val one_sum : Type -> Type1;
let one_sum = \ t. Sum { name: t; };

val two_sums : Sum { label: Type1; label2: Type; };
let two_sums = @label Type;