export type NonZeroRational = [NonZeroInteger, Natural]

export const add: (x: NonZeroRational, y: NonZeroRational) => NonZeroRational = ...

export const div: (x: NonZeroRational, y: NonZeroRational) => NonZeroRational = ...

export const mul: (x: NonZeroRational, y: NonZeroRational) => NonZeroRational = ...

export const one: NonZeroRational = ...

export const ord: Ord<NonZeroRational> = ...

export const reduce: (n: NonZeroInteger, d: Natural) => NonZeroRational = ...

export const setoid: Setoid<NonZeroRational> = ...

export const show: (x: NonZeroRational) => string = ...

export function fromRational(r: Rational): Option<NonZeroRational> { ... }

export function inverse(x: NonZeroRational): NonZeroRational { ... }

export function sub(x: NonZeroRational, y: NonZeroRational): Option<NonZeroRational> { ... }