export type URI = typeof URI

export class Const<L, A> {
  constructor(readonly value: L) { ... }
  ...
}

map<B>(f: (a: A) => B): Const<L, B> { ... }

contramap<B>(f: (b: B) => A): Const<L, B> { ... }

fold<B>(f: (l: L) => B): B { ... }

inspect(): string { ... }

toString(): string { ... }

export const URI = ...

export const const_: Functor2<URI> & Contravariant2<URI> = ...

export const getApplicative = <L>(M: Monoid<L>): Applicative2C<URI, L> => ...

export const getApply = <L>(S: Semigroup<L>): Apply2C<URI, L> => ...

export const getSetoid = <L, A>(S: Setoid<L>): Setoid<Const<L, A>> => ...