Goal: A general procedure for generating and manipulating arbitrary recursive types from simpler pluggable components