Use true_type and false_type more