decidable type rep