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