I love Bartosz Milewski! Great talks to make cat theory understandable. Sum-types to me are just a necessity for expressing certain situations that occur a lot

I love Bartosz Milewski! Great talks to make cat theory understandable. Sum-types to me are just a necessity for expressing certain situations that occur a lot. Enums do not cut it, and making sum-types from records is just ugly, waaaay to much boiler plate and hard to deal with in practice (one needs sum-types AND switch expressions + pattern matching to really unlock the bliss of sum-types).