// tslint:disable-next-line:max-classes-per-file
export abstract class EmptyList {
  protected opaque: any;
}

// tslint:disable-next-line:max-classes-per-file
export abstract class Cons<T> {
  protected opaque!: T;
}

export type list<T> = Cons<T> | EmptyList;