Sum types, 2024 variant

[ElegantBeef]

Though since `case` also can be used for flow control I assume the typeclass 
would also not be `case` as that'd make parsing more complex?