use builtin true/false_type