<a href="http://haskell.org/haskellwiki/TypeCompose">TypeCompose</a> provides some classes &amp; instances for forms of
type composition. It also includes a very simple implementation of
data-driven computation.&nbsp; I factored it out of a new implementation of <a href="http://haskell.org/haskellwiki/Phooey">Phooey</a>.&nbsp; I am very interested in comments and contributions.<br><br>&nbsp;- Conal<br>