|mul| mul := [ :a :b | a * b ].