Adjusted types
Updated reduce test