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