It takes 26 yottabytes of RAM to typecheck a union of Safe Integers | Hacker News Reader