Comment by layer8

It doesn’t actually list all interesting cases discussed in the article, including the case…in pattern matching at the end.