SOLID in FP: Open-Closed, or Why I Love When Code Won't Compile

In the last post , I promised that the Open-Closed Principle would get interesting when reframed through union types and pattern matching. I may have slightly oversold it. But only slightly. Quick…