doc: more on functional programming (internally)