let call (mt:('a,'b) t) (f:('a->'b)) x = mt#get f x