(module mq3_class_eq_vs_fn_eq
  (import mq3_class_eq_vs_fn_eq_classmod)
  (import mq3_class_eq_vs_fn_eq_fnmod)
  (fn main
    (doc "mq.3.6 fixture (c): bare `myeq 1 2` in a workspace with `class MyEq` (in classmod) and `fn myeq` (in fnmod) both imported. Fn wins per lookup precedence; the typechecker emits `class-method-shadowed-by-fn` warning so the LLM-author sees the shadow.")
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body (app print (app myeq 1 2)))))