New post: "Why is ADT pattern matching allowed?"
Test sample code, rewrite disassembly, link Leibniz posts.
Links and punctuation.
Sample free theorem violation.
New post: "Why is ADT pattern matching allowed?" (#34)