Jan 11, 2022 Universal types, and your type checker doesn't suck as much as you think Dec 21, 2021 Why you can't create a value with the Bottom type (and why it's still useful)