I know that one :D, here I can help: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/djinn http://hackage.haskell.org/cgi-bin/hackage-scripts/package

I know that one :D, here I can help: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/djinn http://hackage.haskell.org/cgi-bin/hackage-scripts/package/d... I have considered this road, see this LtU discussion to see why this approach though wonderful, is still too limited for general programming. http://lambda-the-ultimate.org/node/1178 http://lambda-the-ultimate.org/node/1178 Essentially, as is found in many automatic program derivation attempts, recursion explodes complexity.