There's no concise answer, but there's a fantastic book covering and motivating his first sentence.
Domain Modelling Made Functional
Domain Modelling Made Functional
Totally agree: i think folks dont realize F# is modernized OCaml and this is approximately a typed Lisp semantically. Very useful.