experimenting with a general recursion package