(module $type_b
  (use $a from $type_a)
  (typename $b (record (field $member_a $a)))
)