Dynamically determine base classes on instantiation

[Richard Thomas]

> a is a Foo
> b is a Foo
> therefore a and b are the same type

What you mean here is "a and b share a common base class".