Again, the lack of side effects in Haskell solve this problem. A function like rand_bit() cannot be written as a regular Haskell function. Both x and y have the same type T, i.e. they are from the ...

Haskell is purely functional, and does not have loops or assignment statements as found in most mainstream programming languages. Haskell encourages the use of functions, and higher-order functions, ...