絶対に empty じゃない配列を表現したい

Array<T>な array を array.find とかするときに、戻り値の型が絶対にT | undefinedになるが、array が empty じゃないことが確定している場合はTになるしそう定義したい。

この場合のように array が empty じゃないことを確約するような型はどうやって表現すればいいのか……？

TypeScript で空でない配列を型で表現する

前に見たこれを使うといいかも。というかこれ本当に思いついた人すごい。こういうのをひらめけるようになりたいなあ。