utils

export type Negative<A> = A & { readonly [NEGATIVE]: typeof NEGATIVE }

export declare function arbitraryNegative<A>(
  T: Ord<A> & Semiring<A>
): (arb: fc.Arbitrary<A>) => fc.Arbitrary<Negative<A>>

export declare function isNegative<A>(T: Ord<A> & HasZero<A>)

export declare function toNegative<A>(T: Ord<A> & HasZero<A> & HasSub<A>): (a: A) => Negative<A>