module foo {
  namespace foo;
  prefix foo;

  typedef foo {
    type string;
  }
}