https://en.wikipedia.org/wiki/A-normal_form https://matt.might.net/articles/a-normalization/ but see also: - KNF: https://esumii.github.io/min-caml/tutorial-mincaml-9.eng.htm