Pure and higher-order functions

[mist]

Hello!

I have been asked few question recently from a Haskell programmer 
about D2 and, after experimenting a bit, have found that I really 
can't provide a good answe myself, as I am not getting a design 
limititations (if any).

Here is the snippet, it is pretty self-descriptive:
http://codepad.org/DBdCJYI2

Am i right, that all information about purity & Co is lost at 
runtime and there is no way to write pure-aware higher-order 
function using dynamic function pointers? That would have made me 
really sad :(