wip: type traits and kdree