export type TooShort = !void;