Phantom Type examples in OCaml | Hacker News Reader