Sorry for the late answer. I generally am in favor of template constraints instead of `static assert`. Granted, the error messages are still a problem, but if we improve those we solve the larger problem.