Don't Try and Outsmart the Typechecker | Dark Hacker News