export interface Format<D extends string, U extends string | number | symbol> {
  dimension: D
  unit: U
}

export class Discrete<D, U> {
  constructor(readonly format: Format<D, U>, readonly value: Integer) { ... }
  ...
}

add(y: Discrete<D, U>): Discrete<D, U> { ... }

mul(y: Integer): Discrete<D, U> { ... }

negate(): Discrete<D, U> { ... }

sub(y: Discrete<D, U>): Discrete<D, U> { ... }

div(y: NonZeroInteger): Discrete<D, U> { ... }

isZero(): boolean { ... }

inspect(): string { ... }

toString(): string { ... }

export function getOne<D extends string, U extends string>(format: Format<D, U>): Discrete<D, U> { ... }

export function getOrd<D extends string, U extends string>(): Ord<Discrete<D, U>> { ... }

export function getSetoid<D extends string, U extends string>(): Setoid<Discrete<D, U>> { ... }

export function getZero<D extends string, U extends string>(format: Format<D, U>): Discrete<D, U> { ... }