add arity induced bounds to in/out methods