(module test_22b2_xmod_missing_constraint
  (import test_22b2_xmod_classmod_noinst)
  (fn describe
    (type (forall (vars a) (fn-type (params (own a)) (ret (own (con Str))))))
    (params x)
    (body (app tshow x))))
