export type Unit = {}; // { kind:"unit" };
export const unit: Unit = {}; // { kind:"unit" };