export function arrayToString<T>(a: T[]) {
    return `[${a.join(", ")}]`;
}