add specialized implementation for Many1