Short but very interesting question ahead of you. Write a type which will represent not empty array NonEmptyArray. Type should behave in the same way as original Array is behaving, with this difference that empty array is a value which is not a valid member of NonEmptyArray
type NonEmptyArray<T> = /* your type level code here 💪 */ const a: NonEmptyArray<string> =  // should be compilation error 🛑 const b: NonEmptyArray<string> = ['Hi TS'] // should be ok! 👌
Watch out, there is not one possible solution. How many solutions can you make? Post your answers in comments (preferred links to the playground). Have fun! Answer will be published soon!