Category Conditionals and Type Conversion