export type PrettyAnnotation<A, TypeParameters extends ReadonlyArray<any> = readonly []> = (
  ...pretties: { readonly [K in keyof TypeParameters]: Pretty<TypeParameters[K]> }
) => Pretty<A>

export interface Pretty<To> {
  (a: To): string
}

export declare const make: <A, I, R>(schema: Schema.Schema<A, I, R>) => (a: A) => string

export declare const match: AST.Match<Pretty<any>>