Added static assert to test the argument 'a' type of 'mix' function