Sum types and exhaustiveness checking are doable with typescript! Though it's not especially ergonomic https://www.typescriptlang.org/play?#code/C4TwDgpgBAygrg

Sum types and exhaustiveness checking are doable with typescript! Though it's not especially ergonomic https://www.typescriptlang.org/play?#code/C4TwDgpgBAygrgWygXigbygMwPbYFxTABOcEANFAEYCGRBAzsQJYB2A5lAL5QA+6WuApmoAbetE4AoSZjgsAxsCbYWWFgAp6iAvAQBKBs3bpJUKPQDuTYPIAWUTYgB0ObHpNmz86uMIkIeKaeZkQQwHBEqloITjREQV4+0MJiAQmeoeGRUADkACYQwnAiwDnpBUUlgcFmcqHUdtSUIhCO+kFSUjJyisqqdRANtk0t6gAeBCwQAG4QRAZQU7NEHoS2RNgWixBbAKJEG0TqAAbevizYwFDDLHkteQQAJGhjnMd6kpxAA https://www.typescriptlang.org/play?#code/C4TwDgpgBAygrgWygX...