[butter, sugar, walnuts] ^^^ Somewhere wanted type CakeIngredients but missing record field "Flour" If imperative style programming came with type inf

[butter, sugar, walnuts] ^^^ Somewhere wanted type CakeIngredients but missing record field "Flour" If imperative style programming came with type inference on the level of the Ocaml compiler sign me up. For now, though, I can spare a few cycles in exchange for correct programs.