How do I write a new trait that takes 2 other traits as template argument?

Question

Introduction:

In a homework assignment I need to make a program that can do the following:

"realise a compile-time unit conversion system