> we have real ADT's whereas typescript doesn't. This sounds interesting. Can you expound a bit more? This is vague and anecdotal but I find about 80% of what

> we have real ADT's whereas typescript doesn't. This sounds interesting. Can you expound a bit more? This is vague and anecdotal but I find about 80% of what I want to do in TS with types I find very easy to do, 10% I find annoying but possible, and then maybe 10% it just doesn't work. I'm curious if there's a root cause here.