Experimental categorical C++ template classes.