Improve structure of algebraic section in values-functors post.