FP tries to separate the pure from the impure realm of a program by merely describing impure computations and running them later. I\'ve been wondering for quite some time whethe