Also called top and bottom types, for this reason.
Any is not a top type and ! is not a bottom type, actually. They are sort of similar from a lay perspective if you squint, though.
alt Hacker News
Any is not a top type and ! is not a bottom type, actually. They are sort of similar from a lay perspective if you squint, though.