multiply: pfn { a b } { a * b }