https://123dok.net/document/q2n5ro2q-closures-are-needed-for-closed-module-systems.html