> First let us switch to Haskell for pseudocode as I don’t want to show you the C++ that is required for this.<p>Hehe, but that's actual code.<p>> we may go back to our C++14 code base and implement the ideas there. I’m not going to show you how this can be done here, as it requires some more boilerplate code to make the compiler happy – as usual.<p>People are going to want to see the code, otherwise, what's the point?