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

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

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

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