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