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