The things missing for me are:<p>1. partial application (bind is typed as &#x27;any&#x27;)<p>2. sum type destructuring<p>3. issues with recursive type definitions<p>But the Typescript team add new features very quickly so I wouldn&#x27;t be surprised if these issues are solved in the future.