Abusing Haskell dependent types to make Redis queues safer | Hacker News Reader