(Module
  (ModuleIdentifier)
  (Statements
    (DefaultDeclaration
    {+(TypeConstructorIdentifier)+}
    {+(TypeConstructorIdentifier)+})
  {-(DefaultDeclaration
    {-(TypeConstructorIdentifier)-}
    {-(TypeConstructorIdentifier)-})-}))