initial work on support for (super of T)