组织Scala中的枚举

说我有动物列表,我想把它们分开,如下所示：

BasicAnimal = {Cat,Dog}
Carnivore = {Cat,Dog,Dragon}
Herbivore = {Cat,Horse}

现在,这些动物也要住在某个地方.所以有一个

BasicShelter with a method shelter(animal: BasicAnimal)
Den with a method shelter(animal: Carnivore)
Shed with a method shelter(animal: Herbivore)

在Scala中实现这一点的最好方法是什么？一个尝试是：

class BasicAnimal extends Enumeration{
   val Cat,Dog = Value
}
class Carnivore extends BasicAnimal{
   val Dragon = Value
}
class Herbivore extends BasicAnimal{
   val Horse = Value
}

接着

class BasicHouse{
  def shelter(animal: BasicAnimal) = {//lots of code}
}
class Den{
  def shelter(animal: Carnivore) = {
  //again lots of code,but the cases dealing with Cat and Dog can be relegated to super.shelter
  }
}
class Shed{
  //the same
}

可悲的是,这不行.来自食肉动物的狗与BasicAnimal中的狗不同.那就是Carnivore.Dog == BasicAnimal.Dog返回false,所以在Den中重用BasicHouse中的代码的唯一方法是使用一个比较简单的等价方法来比较枚举的字符串(或类似的东西).它的作品,但它是非常不洁净.你能看到其他的可能性吗？