method patt2 = fun f p -> o#patt3 f p