Modelling the World of Blade Runner with Haskell's Type System | Hacker News Reader