Fix taggedSum catamorphism example in README