* more examples * implement the "Bananas in space" stuff (where does Difunctor go?) * implement http://citeseer.ist.psu.edu/uustalu01recursion.html (suggested by Dan Weston )