\x y -> x * y