Type traits and parameter lists WIP.