Generalized type signature of (>+>)