On 10.07.2017 18:23, Meta wrote: > ... > problems with stuff like typeof(null)* etc. because for the most part > it's just a regular type, unlike Bottom. Bottom is just a regular type.