utils

export declare const Ratio: {
  of: <A>(T: Ord<A> & HasToRational<A> & EuclideanRing<A>) => (n: A, d: NonZero<A>) => Ratio<A>
  isTypeOf: <A>(innerGuard: (x: unknown) => x is A) => (y: unknown) => y is Ratio<A>
  numerator: <A>(r: Ratio<A>) => A
  denominator: <A>(r: Ratio<A>) => A
}

export interface Ratio<A> extends Readonly<{ readonly [RATIO]: { numerator: A; denominator: A } }> {}