The resolution here was to use 2map instead... [ + ] infers the wrong stack effects for 2each.