type T is range <>;
