method
functor_args =
fun
f
->
list o
#
functor_arg
"@ "
f