Pretty

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

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

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

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