[junke]

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