Is this necessary? Can't it just use `type_of`?