GADTs: Wizardry for a Typesafe Age | Hacker News Reader