(module $redefine_a
  (use $a from $type_a)
  (typename $a u8)
)