-- Local let-bindings!
let sample: Type =
  let unit: Type = Sum { TT 1 };
  unit;