Y combinator helps exactly with that:

  http://rosettacode.org/wiki/Y_combinator#D

Copying the...

...more invariants and more precise typing:

http://rosettacode.org/wiki/Hidato#D

(The two programs...

...pattern that I've used here:
http://rosettacode.org/wiki/Solve_a_Hopido_puzzle#D...

...upon (perhaps I have to recompute it).
(Rosettacode has a policy of not showing the...

Joakim:

Haskell programmers that write the Rosettacode entries usually care for code succinctness and code...

...to choose good algorithms? ;)

I understand that Rosettacode is not geared towards performance, but that...

...that most of the Haskell programs of Rosettacode are not written for performance. The corollary...

...se.inf.ethz.ch/people/nanz/research/rosettacode.html

NOTE: The link contains only a...

...outside work, like almost one thousand of Rosettacode programs, a lot of lines of very...

...very fit for this (you can see some examples of this on Rosettacode).

Bye,
bearophile