type
  A = object of RootObj
  B = object of A

let
  a = A()
  b = B()

echo b is A
echo a is B