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;
}