(module mq3_class_eq_vs_fn_eq_classmod
  (class MyEq
    (param a)
    (method myeq
      (type (fn-type (params (borrow a) (borrow a)) (ret (own (con Bool)))))))
  (instance
    (class MyEq)
    (type (con Int))
    (method myeq
      (body (lam (params (typed x (con Int)) (typed y (con Int))) (ret (con Bool)) (body true))))))