An experiment: typesafe dataflow descriptions instantiable at runtime in OCaml