seems to be ok after re-factoring proc -> Obj.T