Type-safe sql parameters

sql.ts

type IsValid<Name> = Name extends `${infer _} ${infer _}`
    ? never
    : Name;

type IsParameter<Part> = Part extends `\$${infer Parameter}`
    ? IsValid<Parameter>
    : never;

type QueryParser<Query> = Query extends `${infer A}${' ' | '='}${infer B}`
  ? IsParameter<A> | QueryParser<B>
  : IsParameter<Query>;

type QueryParameters<Query> = {
  [Key in QueryParser<Query>]: string
};

function execute<const Query>(query: Query, parameters: QueryParameters<Query>): any {}