[whb07]

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”.

[searchableguy]

Can you be more elaborate about your last point like give examples where it's not proper?