Added decidable type