(module mq3_two_show_ambiguous_a
  (class Show
    (param a)
    (method show
      (type (fn-type (params (borrow a)) (ret (own (con Str)))))))
  (instance
    (class Show)
    (type (con Int))
    (method show
      (body (lam (params (typed x (con Int))) (ret (con Str)) (body (app int_to_str x)))))))