efficient, generalised folds for nested datatypes (0)

by Disciplined
Venue:Form. Asp. Comput