# But hey atleast```nim
# type
#   A = ref object of RootObj
#   B[T] = ref object of A
#     val: T

# assert not(B[float]() of B[int])
# assert not(B[string]() of B[B[int]])