namespace trial {
  namespace dynamic {
    template<typename T> struct is;
    template<typename T> struct same;
  }
}