C++-style templates for kind and mode polymorphism - View it on GitHub