I find myself spending hours because they are too weak... Not a Haskell type guy fanboy, but TS attempts to give you the tools to express yourself in types and

I find myself spending hours because they are too weak... Not a Haskell type guy fanboy, but TS attempts to give you the tools to express yourself in types and falls significantly short. Something like a single case discriminated union, proper discriminated unions, recursive types are all “basic”.