I say this because a while ... effect free) language semantics. This is the reason why pure languages like Haskell do not have loop constructs at all, and many other functional-programming ...