Haskell implements call-by-need reduction, in which all calls are tail calls.