The Big Oops in Type Systems: This Problem Extends to FP as Well danieltan.weblog.lol 16 points by ksymph a day ago