Refactor multi-arity >>= to deduce->>=