On your last point, I would switch "may take time" to "will take time". All functions pure, all data immutable, strongly and statically typed, all computations lazy? It will take time to get used to.