Implementing generator for catamorphic and anamorphic 'visit' functions:
not finished yet.