sig
  type (-'obj, +'a) meth_callback
  type (-'arg, +'result) meth
  type (-'arg, +'result) fn
end