https://issues.dlang.org/show_bug.cgi?id=13897 --- Comment #3 from bearophile_hugs at eml.cc --- Now there are "immutable pure" functions in D to represent strongly pure nested functions? That's interesting... --