Become a better Haskeller by learning inductive types | Dark Hacker News