type Animal = object of RootObj Dog = object of Animal Cat = object of Animal Lab = object of Dog Collie = object of Dog