Haskellians,<br><br>i&#39;ve found a way to generalize the LogicT transformer and calculated it&#39;s application to three fairly interesting examples. The approach -- with some sample codes as scala+lift web apps -- is described <a href="http://biosimilarity.blogspot.com/2009/01/3-applications-of-indexed-composition.html">here</a>. Comments welcome.<br>
<br>Best wishes,<br><br>--greg<br clear="all"><br>-- <br>L.G. Meredith<br>Managing Partner<br>Biosimilarity LLC<br>806 55th St NE<br>Seattle, WA 98105<br><br>+1 206.650.3740<br><br><a href="http://biosimilarity.blogspot.com">http://biosimilarity.blogspot.com</a><br>