template<class stateT> class fpos { /* ... */ }; // depends on nothing
using _STATE = /* ... */ ; // implementation private declaration of stateT
using streampos = fpos<_STATE>;
template<> struct char_traits<char> {
using pos_type = streampos;
}