(module $structured
  (typename $a u32)
  (typename $foo (tuple $a))
)