export type URI = typeof URI

export class Identity<A> {
  constructor(readonly value: A) { ... }
  ...
}

map<B>(f: (a: A) => B): Identity<B> { ... }

ap<B>(fab: Identity<(a: A) => B>): Identity<B> { ... }

ap_<B, C>(this: Identity<(b: B) => C>, fb: Identity<B>): Identity<C> { ... }

chain<B>(f: (a: A) => Identity<B>): Identity<B> { ... }

reduce<B>(b: B, f: (b: B, a: A) => B): B { ... }

alt(fx: Identity<A>): Identity<A> { ... }

orElse(fx: Lazy<Identity<A>>): Identity<A> { ... }

import { Identity } from 'fp-ts/lib/Identity'

const a = new Identity(1)
assert.deepStrictEqual(a.orElse(() => new Identity(2)), a)

extract(): A { ... }

extend<B>(f: (ea: Identity<A>) => B): Identity<B> { ... }

fold<B>(f: (a: A) => B): B { ... }

inspect(): string { ... }

toString(): string { ... }

export const URI = ...

export const identity: Monad1<URI> &
  Foldable2v1<URI> &
  Traversable2v1<URI> &
  Alt1<URI> &
  Comonad1<URI> &
  ChainRec1<URI> = ...

export const getSetoid = <A>(setoid: Setoid<A>): Setoid<Identity<A>> => ...