Simplifying 0install's solver with OCaml's functors | Dark Hacker News