export type List<X> = [X, List<X>] | null;