export type PositiveRational = [Natural, Natural]

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

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

export const inverse: (x: PositiveRational) => PositiveRational = ...

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

export const one: PositiveRational = ...

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

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

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

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

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

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