Phantom Type examples in OCaml · HackerTrans