The code is a placeholder for stuff to be written; It's sort of complicated because it appears as if I was only comparing the first two types, but actually it will compare all of them due to the way the variadic template recursion is implemented in. It shouldn't be too difficult to get working though, I simply haven't put too much time on it yet.