typelevel/typelevel.github.com — pull request #34 by S11001001 (2014-11-09 15:51:17+00:00)
Title: 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.