Some years ago, we recognized the semantic similarity between thefunctional core of Id and the standard nonstrict functional languageHaskell. We, therefore, decided to adopt Haskell for the ...