some more type traits fun