(module mq3_two_show_qualified
  (import mq3_two_show_ambiguous_a)
  (import mq3_two_show_ambiguous_b)
  (fn main
    (doc "mq.3.6 fixture (b): explicit qualifier `mq3_two_show_ambiguous_a.Show.show 42` disambiguates the same workspace as fixture (a). Resolves cleanly to modA's class; typecheck passes.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body (do io/print_str (app mq3_two_show_ambiguous_a.Show.show 42)))))
