Check out that Tackling the Awkward Squad that I mentioned elsewhere. It's about as lucid an explanation of the what and why as I've ever seen, by one of the or

Check out that Tackling the Awkward Squad that I mentioned elsewhere. It's about as lucid an explanation of the what and why as I've ever seen, by one of the original authors of Haskell. https://www.microsoft.com/en-us/research/publication/tacklin https://www.microsoft.com/en-us/research/publication/tacklin...