As a fan of the Curry-Howard correspondence, I approve of this decision.
You’re going to hate when you learn that the never type is inhabited
alt Hacker News
You’re going to hate when you learn that the never type is inhabited