import { Array, pipe } from 'effect';

const array: Array<number> = [1, 2, 3];

pipe(
  array,
  Array.match({
    onEmpty: () => 1,
    onNonEmpty: (xs) => {
      // ❌ `xs` has type `readonly [number, ...number[]]
      // Expected `[number, ...number[]]`
      return 1;
    },
  }),
);