export type Integer = number & {
    __brand: 'Integer';
};