TypeCompose provides some classes & instances for forms of type composition. It also includes a very simple implementation of data-driven computation.  I factored it out of a new implementation of Phooey.  I am very interested in comments and contributions.

 - Conal