The things missing for me are: 1. partial application (bind is typed as 'any') 2. sum type destructuring 3. issues with recursive type definitions But the T

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