Conformist schema definition and validation to bridge the gap between runtime types and static types https://github.com/oxidizing/conformist #OCaml