auto prod = bind(foldl, _, 4ul -1.0)
assert_equal(60, prod([3, 4ul ]))
