declare const Applicative: applicative.Applicative<IdentityTypeLambda>

declare const Chainable: chainable.Chainable<IdentityTypeLambda>

declare const Covariant: covariant.Covariant<IdentityTypeLambda>

declare const FlatMap: flatMap_.FlatMap<IdentityTypeLambda>

declare const Foldable: foldable.Foldable<IdentityTypeLambda>

declare const Invariant: invariant.Invariant<IdentityTypeLambda>

declare const Monad: monad.Monad<IdentityTypeLambda>

declare const Of: of_.Of<IdentityTypeLambda>

declare const Pointed: pointed.Pointed<IdentityTypeLambda>

declare const Product: product_.Product<IdentityTypeLambda>

declare const SemiApplicative: semiApplicative.SemiApplicative<IdentityTypeLambda>

declare const SemiProduct: semiProduct.SemiProduct<IdentityTypeLambda>

declare const Traversable: traversable.Traversable<IdentityTypeLambda>

declare const getSemiAlternative: <A>(S: Semigroup<A>) => semiAlternative.SemiAlternative<IdentityTypeLambdaFix<A>>

declare const getSemiCoproduct: <A>(S: Semigroup<A>) => semiCoproduct.SemiCoproduct<IdentityTypeLambdaFix<A>>

type A = A

export interface IdentityTypeLambda extends TypeLambda {
  readonly type: Identity<this["Target"]>
}

export interface IdentityTypeLambdaFix<A> extends TypeLambda {
  readonly type: Identity<A>
}