Free functor

‹The template R to section is being considered for merging.›