(module test_mono_imports_classmod
  (class Foo
    (param a)
    (method foo
      (type (fn-type (params (own a)) (ret (own (con Int)))))))
  (instance
    (class Foo)
    (type (con Int))
    (method foo
      (body (lam (params (typed x a)) (ret (con Int)) (body x)))))
  (fn helper
    (type (fn-type (params (own (con Int))) (ret (own (con Int)))))
    (params n)
    (body (app + n 100))))