export declare const alt: <A>(that: () => A) => (fa: A) => A

export declare const altW: <B>(that: () => B) => <A>(fa: A) => B | A

export declare const ap: <A>(fa: A) => <B>(fab: (a: A) => B) => B

export declare const extend: <A, B>(f: (wa: A) => B) => (wa: A) => B

export declare const extract: <A>(wa: A) => A

export declare const foldMap: <M>(M: Monoid<M>) => <A>(f: (a: A) => M) => (fa: A) => M

export declare const reduce: <A, B>(b: B, f: (b: B, a: A) => B) => (fa: A) => B

export declare const reduceRight: <A, B>(b: B, f: (a: A, b: B) => B) => (fa: A) => B

export declare const map: <A, B>(f: (a: A) => B) => (fa: A) => B

export declare const chain: <A, B>(f: (a: A) => B) => (ma: A) => B

export declare const of: <A>(a: A) => A

export declare const apFirst: <B>(second: B) => <A>(first: A) => A

export declare const apSecond: <B>(second: B) => <A>(first: A) => B

export declare const chainFirst: <A, B>(f: (a: A) => B) => (first: A) => A

export declare const duplicate: <A>(ma: A) => A

export declare const flap: <A>(a: A) => <B>(fab: (a: A) => B) => B

export declare const flatten: <A>(mma: A) => A

export declare const Alt: Alt1<'Identity'>

export declare const Applicative: Applicative1<'Identity'>

export declare const Apply: Apply1<'Identity'>

export declare const Chain: Chain1<'Identity'>

export declare const ChainRec: ChainRec1<'Identity'>

export declare const Comonad: Comonad1<'Identity'>

export declare const Foldable: Foldable1<'Identity'>

export declare const Functor: Functor1<'Identity'>

export declare const Monad: Monad1<'Identity'>

export declare const Pointed: Pointed1<'Identity'>

export declare const Traversable: Traversable1<'Identity'>

export declare const URI: 'Identity'

export type URI = typeof URI

export declare const getEq: <A>(E: Eq<A>) => Eq<A>

export declare const getShow: <A>(S: Show<A>) => Show<A>

export declare const identity: Monad1<'Identity'> &
  Foldable1<'Identity'> &
  Traversable1<'Identity'> &
  Alt1<'Identity'> &
  Comonad1<'Identity'> &
  ChainRec1<'Identity'>

export type Identity<A> = A

export declare const Do: {}

export declare const apS: <N, A, B>(
  name: Exclude<N, keyof A>,
  fb: B
) => (fa: A) => { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }

export declare const bind: <N, A, B>(
  name: Exclude<N, keyof A>,
  f: (a: A) => B
) => (ma: A) => { readonly [K in N | keyof A]: K extends keyof A ? A[K] : B }

export declare const bindTo: <N>(name: N) => <A>(fa: A) => { readonly [K in N]: A }

export declare const sequence: Sequence1<'Identity'>

export declare const traverse: PipeableTraverse1<'Identity'>