[avernet]

Here is a link:

http://www.haskell.org/haskellwiki/Correctness_of_short_cut_...