(module mq1_xmod_constraint_class_dep
  (class Show
    (param a)
    (method show
      (type (fn-type (params (own a)) (ret (own (con Str))))))))