Hacker News Reader

> The problem is "null" being a value in all (non primitive) types, not only the bottom type.

Null is not a value of bottom type. Bottom type has no values.

Thanks, you are right, the bottom type has no value. I meant the "Null" type, which contains a single value, "null".