typescript - Cum să faci ca un tip să fie un Array sortat, nu doar un Array

Există o modalitate în TypeScript de a solicita ca un tip să fie un array sortat?

În Haskell, ceva de genul matricei sortate.