export interface ReadonlyNonEmptyArray<A> extends ReadonlyArray<A> {
  readonly 0: A
}

export interface ReadonlyNonEmptyArrayC<C extends t.Mixed>
  extends t.Type<ReadonlyNonEmptyArray<t.TypeOf<C>>, ReadonlyNonEmptyArray<t.OutputOf<C>>, unknown> {}

export function readonlyNonEmptyArray<C extends t.Mixed>(
  codec: C,
  name: string = `ReadonlyNonEmptyArray<${codec.name}>`
): ReadonlyNonEmptyArrayC<C> { ... }