What is a pure functional? Martin Hofmann , Aleksandr Karbyshev