Also see the discussion at Lambda The Ultimate: http://lambda-the-ultimate.org/node/4094