Petrol: Embedding a type-safe SQL API in OCaml using GADTs | Hacker News Reader