higher-order docs.
more fp docs.