A implementação mais próxima de Haskell que eu vi é o modo de encaminhamento emhttp://hackage.haskell.org/packages/archive/fad/1.0/doc/html/Numeric-FAD.html.

A pesquisa relacionada mais próxima parece ser o modo reverso para outra linguagem funcional relacionada ao esquema emhttp://www.bcl.hamilton.ie/~qobi/stalingrad/.

Eu vejo o modo reverso em Haskell como uma espécie de santo graal para muitas tarefas, com a esperança de que ele pudesse usar o paralelismo de dados aninhados de Haskell para obter uma boa aceleração em otimização numérica pesada.