New post: "Why is ADT pattern matching allowed?"

On carving out a true exception, that isn't an exception at all, to the "no type casing" Scalazzi rule.