… a pattern functor gives the structure of a data type viewed as a fixed point … view of a data type in terms of sums of products. Depending on this generic view … functions can be improved by choosing a different view. This paper introduces …
mpc 2006: 209-234 [doi]